1. J. R. Abrial. The B book-Assigning programs to meanings. Cambridge University Press, 1996.
2. E. Astesiano and E. Zucca. D-oids: a Model for Dynamic Data Types. Mathematical Structures in Computer Science, 5(2), June 1995, 257–282.
3. Lect Notes Comput Sci;H. Baumeister,1995
4. E. Boerger and D. Rosenzweig. The WAM-Definition and Compiler Correctness. Logic Programming: Formal Methods and Practical Applications, North-Holland Series in Computer Science and Artificial Intelligence, 1994.
5. E. Boerger, J. Huggins. Commented ASM Bibliography. Formal Specification Column (H. Erhig, ed.), EATCS Bulletin, vol. 64, February 1998, pp. 105–127.