1. Tracts in Theoretical Computer Science;J.-R. Abrial,1996
2. Andersen, S., Holmslykke, S.: "UML-ised" Formal Tools for the RAISE Tool Set. M.Sc. Thesis Project, Department of Computer Science and Engineering, Institute of Informatics and Mathematical Modelling, Technical University of Denmark, Building 322, Richard Petersens Plads, DK-2800 Kgs.Lyngby, Denmark, 2004-2005 2003. Pre-MSc Thesis project: Spring 2004 Lyngby
3. main M.Sc. Thesis Project Fall/Winter 2004/2005 UNU-IIST Macau / NUS Singapore
4. Anot, A.J.: Using Z Specification for Railway Interlocking Safety. Periodica Polytechnica. Transport Engineering Series vol. 28(1-2), pp. 39–53, Department of Information and Safety Systems Faculty of Electrical Engineering University of Zilina, Vel’ký diel, Zilina 010 26, Slovak Republic (2000)
5. Berthelot, G., Petrucci, L.: Specification and validation of a concurrent system: an educational project. International Journal on Software Tools for Technology Transfer 3(4), 372–381 (2001); Special section on the practical use of high-level Petri Nets