1. Abrial, J.R.: The B-Book: Assigning Programs to Meanings. Cambridge University Press, Cambridge (1996)
2. Astesiano, E., Kreowski, H.-J., Krieg-Bruckner, B. (eds.): Algebraic Foundations of Systems Specifications. Springer, Heidelberg (1999)
3. Atkinson, C., et al.: Component-based Product Line Engineering with UML. Addison-Wesley, Reading (2001)
4. Barwise, J. (ed.): Handbook of Mathematical Logic. North-Holland, Amsterdam (1977)
5. Bertoni, A., Mauri, G., Miglioli, P.: On the power of model theory in specifying abstract data types and in capturing their recursiveness. Fundamenta Informaticae VI(2), 127–170 (1983)