1. Meyer, B.: Eiffel: The Language. Prentice Hall Object-Oriented Series (1991)
2. Burdy, L., Cheon, Y., Cok, D., Ernst, M., Kiniry, J., Leavens, G.T., Rustan, K., Leino, M., Poll, E.: An Overview of JML Tools and Applications. International Journal on Software Tools for Technology Transfer 7(3), 212–232 (2005)
3. Liu, S.: Formal Engineering for Industrial Software Development. Springer, Heidelberg (2004)
4. Gamma, E., Helm, R., Johnson, R.: Design Patterns: Elements of Reusable Object-Oriented Software. Addison-Wesley Professional (1994)
5. Larman, C.: Applying UML and Patterns: An Introduction to Object-Oriented Analysis and Design and Iterative Development, 3rd edn. Prentice Hall (2004)