1. Augusteijn, L., 1990. The Elegant compiler generator system. In: Deransart, P., Jourdan, M. (Eds.), Attribute Grammars and their Applications. Lecture Notes in Computer Sci., vol. 461. Springer, Berlin, pp. 238–254
2. Object-oriented development;Booch;IEEE Trans. Software Eng.,1986
3. Booch, G.S., 1991. Object-oriented Design with Applications. Benjamin/Cumming, Mento Park, CA
4. Feijs, L.M.G., Jonkers, H.B.M., 1992. Formal Specification and Design. Cambridge University Press, Cambridge
5. Feijs, L.M.G., Jonkers, H.B.M., Koymans, C.P.J., Renardel de Lavalette, G.R., 1987. Formal definition of the design language COLD-K. Technical Report, ESPRIT Project 432