1. Naur, P., Revised report on the algorithmic language ALGOL 60. Commun. ACM 6 (1963)
2. Dahl, O.-J., Myhrhaug, B., Nygaard, K.: SIMULA 67 Common Base Language (Editions 1968, 1970, 1972, 1984). 1968: Norwegian Computing Center, Oslo
3. Madsen, O.L., Møller-Pedersen, B., Nygaard, K.: Object-Oriented Programming in the BETA Programming Language. Addison Wesley (1993)
4. Madsen, O.L., Møller-Pedersen, B.: A unified approach to modeling and programming. In: Petriu, D.C., Rouquette, N., Haugen, Ø. (eds.) Model Driven Engineering Languages and Systems. MODELS 2010. LNCS, vol. 6394. Springer, Berlin (2010). https://doi.org/10.1007/978-3-642-16145-2_1
5. Leavens, G.T., Cheon, Y.: JML. 2022. https://www.cs.ucf.edu/~leavens/JML/index.shtml