Grundlagen

1. ein Skript zu Aussagen- und Prädikatenlogik, Beweisen, Mengen und Relationen findet sich hier

Einführung

1. J. M. Wing, A Specifier's Introduction to Formal Methods. IEEE, Computer, 23(9):8-24, September 1990.
2. E. Clarke and J. Wing, Formal Methods: State of the Art and Future Directions, CMU Computer Science Technical Report CMU-CS-96-178, August 1996, erschienen in: ACM Computing Surveys, 28(4):626-643, 1996.

Petrinetzen:

1. W. Reisig, Petrinetze - Eine Einführung. Springer Verlag, 1985.
2. B. Baumgarten, Petri-Netze - Grundlagen und Anwendungen. BI Wissenschaftsverlag, 1990.
3. Webseite Petri Nets World.

CCS:

1. R. Milner, Communication and Concurrency, Prentice Hall, 1989.

Timed Automata:

1. R. Alur, D. Dill: A Theory of Timed Automata. Theoretical Computer Science 126, p. 183 - 235, 1994.
2. E.-R. Olderog, H. Dierks. Real-time Systems - Formal Specification and Automatic Verification. Cambridge University Press.

Z und Object-Z:

1. J. M. Spivey, Z Reference Manual.
2. J. Woodcock, J. Davies, Using Z - Specification, Refinement, and Proof. Prentice Hall, 1996.
3. R. Duke, G. Rose. Formal Object-oriented Specification using Object-Z. MacMillan, 2000.
4. G. Smith. The Object-Z Specification Language. Advances in Formal Methods. Kluwer Academic Publishers, 2000.
5. J. Derrick, E. Boiten. Refinement in Z and Object-Z. Foundations and Advanced Applications. Springer Verlag, 2001.
6. Webseite zu Object-Z von G. Smith.