HDMS-A und OBSCURE in KORSO: Die Funktionale Essenz von HDMS-A aus Sicht der algorithmischen Spezifikationsmethode, TEIL 2: Spezifikation des Datenmodells
@techreport{Au-93-a, author = {Autexier, Serge}, title = {HDMS-A und OBSCURE in KORSO: Die Funktionale Essenz von HDMS-A aus Sicht der algorithmischen Spezifikationsmethode, TEIL 2: Spezifikation des Datenmodells}, number = {FB14-93-05}, institution = {FB 14 Informatik, Saarland University}, address = {Postfach 15 11 50, 66041 Saarbr\"ucken, Germany}, year = {1993}, }