1. Booch, G.: Object-Oriented Analysis and Design. 2nd edn. The Benjamin Cummings Publishing Company, Inc (1994)
2. Burstall, R.M., Goguen, J.A.: Putting Theories Together to Make Specifications. In: Proc.of the 5th. International Joint Conference on Artificial Intelligence, Cambridge, Mass, pp. 1045–1058 (1977)
3. Lecture Notes in Computer Science;R.M. Burstall,1980
4. Ehrig, H., Fey, W., Hansen, H., Lowe, M., Papisi-Presicce, F.: Algebraic Theory of Modular Specification Development. Technical report Technical University of Berlin (1987)
5. Ehrig, H., Mahr, B.: Fundamentals of Algebraic Specification 1: Equations and Initial Semantics. Springer, Heidelberg (1985)