Formale Spezifikation nebenläufiger Konstrukte von ADA mit Graphgrammatiken - Jackel, Manfred (1986)