Formal specification of ADA concurrency - Jackel, Manfred (Fachberichte Informatik, 1986)