1. Bloesch, A., Kazmierczak, E., Kearney, P., Staples, J., Traynor, O., Utting, M.: A formal reasoning environment for Sum - a Z based specification language. Technical Report 95-02, Software Verification Research Centre (1995)
2. Carrington, D., MacColl, I., McDonald, J., Murray, L., Strooper, P.: From Object-Z specifications to ClassBench test suites. Journal on Software Testing, Verification and Reliability 10(2), 111–137 (2000)
3. Duke, R., Rose, G.: Formal Object-Oriented Specification Using Object-Z. MacMillan Press Limited, London (2000)
4. Garlan, D.: Making formal methods education effective for professional software engineers. Information and Software Technology 37(3-4), 261–268 (1995)
5. Gries, D.: The need for education in useful formal logic. IEEE Computer 29(4), 29–30 (1996)