The formal specification of the requirements of compex real-time systems.
Quirk, W. J.,author.
Gilbert, R.,author.
Great Britain.Her Majesty's Stationery Office.
Atomic Energy Research Establishment,issuing body.
June 1977.