Über partiell geordnete Sortenmengen und deren Anwendung zur Fehlerbehandlung in abstrakten Datentypen - Gogolla, Martin (1986)
Keywords: Halbordnung; Abstrakter Datentyp; Spezifikation; Softwarespezifikation; Hochschulschrift