Eine Sprache zur formalen Spezifikation eingebetteter Systeme - Goedicke, Michael (1986)
Zugl.: Dortmund, Univ., Diss., 1985