TY  - BOOK
AU  - Wolf,Markus
TI  - Semantische Grundlagen einer Verbindung zwischen algebraischer und algorithmischer Spezifikationsmethode
PY  - 1992///
PB  - Universität Saarbrücken
N1  - Saarbrücken, Univ., Dipl., 1992
ER  -