Formal specification of ADA concurrency - Jackel, Manfred (EWH Koblenz, Informatik, 1986)
Keywords: Ada; Spezifikation