Formal specification and verification structures and techniques - Eschbach, Robert (Fachbereich Informatik, Univ., 2005)
Zusammenfassung in dt. Sprache