Formale Spezifikation nebenläufiger Konstrukte von ADA mit Graphgrammatiken - Jackel, Manfred (1986)
Keywords: Nebenläufigkeit; Graph-Grammatik; Formale Spezifikationstechnik; Ada; Hochschulschrift