HDMS-A und OBSCURE in KORSO: Die Funktionale Essenz von HDMS-A aus Sicht der algorithmischen Spezifikationsmethode, TEIL 2: Spezifikation des Datenmodells<pre>@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},
}
</pre>