1. Alexander, C.: Notes on the Synthesis of Form. Harvard University Press, Cambridge (1964)
2. Bjørner, D.: Pinnacles of software engineering: 25 years of formal methods. Annals of Software Engineering 10, 11–66 (2000)
3. Boute, R.T.: Some Fundamental Concepts in Computer Science for Telecommunication Engineers. BTM, Antwerp (June 1980)
4. Burstall, R.M., Goguen, J.A.: Putting theories together to make specifications. In: Proceedings of the Fifth International Joint Conference on Artificial Intelligence (1977)
5. Feyerabend, P.: Against method: outline of an anarchistic theory of knowledge, NLB (1975)