Eine Sprache zur formalen Spezifikation eingebetteter Systeme - Goedicke, Michael (1985)
Dortmund, Univ., Diss.
Keywords: Spezifikationssprache; Softwarespezifikation; Hochschulschrift