1. Arnold, B.R.T., A. van Deursen & M. Res (1995), An algebraic specification of a language for describing financial products, in ‘ICSE-17 Workshop on Formal Methods Application in Software Engineering’, IEEE, pp. 6–13.
2. Baeten, J.C.M. & C. Verhoef (1995), Concrete process algebra, in ‘Handbook of Logic in Computer Science, Volume IV, Syntactical Methods’, Oxford University Press, pp. 149–268.
3. Baeten, J.C.M. & W.P. Weijland (1990), Process Algebra, Cambridge Tracts in Theoretical Computer Science 18, Cambridge University Press.
4. Basili, V.R., G. Caldiera & G. Cantone (1992), ‘A reference architecture for the component factory’, ACM TOSEM 1(1), 53–80.
5. Bassett, P.G. (1996), Framing Software Reuse, Yourdon Press, Prentice-Hall.