1. Spivey, J.M.: The Z Notation: a Reference Manual, 2nd edn. Prentice Hall, London (1990)
2. Toyn, I., Galloway, A.: Proving Properties of Stateflow Models Using ISO Standard Z and CADiZ. Springer, Heidelberg (2005)
3. Blaha, M., Rumbaugh, J.: Object-Oriented Modeling and Design with UML. Prentice Hall, Englewood Cliffs (2005)
4. Gamma, E., et al.: Design Patterns. Addison Wesley, Reading (1995)
5. Richter, J.: Programming Applications for Microsoft Windows. Microsoft Press, Washington (1999)