The automatic analysis of formal real-time system specifications /
Quirk, W. J.,author.
Atomic Energy Research Establishment (Harwell, England).Computer Science and Systems Division,issuing body.
Great Britain.Her Majesty's Stationery Office.
"Aug., 1978."