1. Borger E., Stark R. Abstract State Machines: A Method for High-Level System Design and Analysis. Springer, ISBN 978-3-642-18216-7. (2003)
2. Jones C.B. Systematic software development using VDM. New York: Prentice Hall ISBN:0-13-880733-7, 2 (1990)
3. Meyer B., B. In Advances in Object-Oriented Software Engineering, Mandrioli D. and Meyers B., Eds. Prentice Hall, 1–50. (1991).
4. Behm P., Benoit P., Faivre A., & Meynadier J.-M. météor: A successful application of B in a large project. In World Congress on Formal Methods, Wings J. M., Woodcock J., & Davies J., Eds. Lecture Notes in Computer Science, vol. 1708. Springer, Berlin, Heidelberg, 369–387. ISBN:3-540-66587-0, 1 (1999)
5. Houston I., King S., Experiences and results from the use of Z in IBM. In VDM ‘91: Formal Software Development Methods. Lecture Notes in Computer Science, vol 551. Springer, Berlin, Heidelberg, 558–595. (1991).