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