Schweizer, D. T. (1997). Verifikation von Implementationen abstrakter Datentypen für sicherheitskritische Systeme am Beispiel von Oberon ([Mikrofiche-Ausg.].).
Chicago-Zitierstil (17. Ausg.)Schweizer, Daniel T. Verifikation Von Implementationen Abstrakter Datentypen Für Sicherheitskritische Systeme Am Beispiel Von Oberon. [Mikrofiche-Ausg.]. 1997.
MLA-Zitierstil (9. Ausg.)Schweizer, Daniel T. Verifikation Von Implementationen Abstrakter Datentypen Für Sicherheitskritische Systeme Am Beispiel Von Oberon. [Mikrofiche-Ausg.]. 1997.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.