Wolf, Markus <br/><br/>
Semantische Grundlagen einer Verbindung zwischen algebraischer und algorithmischer Spezifikationsmethode 

 - 136 S. : graph. Darst. 
<br/><br/>Saarbrücken, Univ., Dipl., 1992