1. Abrial, J.-R.: The B-Book (1996)
2. Broy, M., Dederich, F., Dendorfer, C., Fuchs, M., Gritzner, T., Weber, R.: The Design of Distributed Systems - An Introduction to FOCUS. Technical Report TUM-I9202, Technische Univerität München (1992)
3. Blech, J.O., Glesner, S., Leitner, J.: Formal Verification of Java Code Generation from UML Models. In: Proceedings of the 3rd International Fujaba Days 2005: MDD in Practice. Technical Report, University of Paderborn (September 2005)
4. Bergstra, J.A., Ponse, A., Smolka, S.A. (eds.): Handbook of Process Algebra. Elsevier, Amsterdam (2001)
5. Lecture Notes in Computer Science;E.M. Clarke,1994