1. Barr, M., Wells, C.: Category theory for computing science, 2nd edn. Prentice-Hall, Englewood Cliffs (1995)
2. Ehrig, H., Mahr, B.: Fundamentals of algebraic specifications. Springer, Heidelberg (1985)
3. Hölzl, M., Wirsing, M.: State of the Art for the Engineering of Software-Intensive Systems. Deliverable Number D3.1 (2007) (accessed July 19, 2008),
http://interlink.ics.forth.gr/central.aspx?sId=84I238I744I323I344283
4. Johnson, M.: Enterprise Software with Half-Duplex Interoperations. In: Doumeingts, G., Mueller, J., Morel, G., Vallespir, B. (eds.) Enterprise Interoperability: New Challenges and Approaches, pp. 521–530. Springer, Heidelberg (2007)
5. Lecture Notes in Computer Science;M. Johnson,2001