1. “The Programming Language Ada Reference Manual,” Lecture Notes in Comput. Sci. 155, Springer-Verlag, Berlin (1983).
2. “Ada 9X Mapping Document: Mapping Specification,” Draft Ada 9X Project Report, Office of the Undersecretary of Defense Acquisition, Washington DC (Aug 1991).
3. Francez, N., Lehman, D., and Pnueli, A.: “A Linear-history Semantics for Languages for Distributed Programming,” Theoret. Comput. Sci. 32, 25–46 (1984).
4. Gerth,R.T., de Reover, W.P.: “A Proof System for Concurrent Ada Programs,” Science of Computer Programming, pp. 159–204 (1984).
5. Henzinger,T.A.: “Temporal Specification and Verification of Real-Time Systems,” Ph. D Thesis, Stanford University (1991).