References
- “Reference manual for the Ada programming language;” United States Department of Defense, July 1982
- P.F. Albrecht, P.E. Garrison, S.L. Graham, R.H. Hyerle, P. Ip, and B. Kreig-Bmckner, “Source-to-source translation: Ada to Pascal and Pascal to Ada,” Proceedings ACM-SIGPLAN Symposium on the Ada Programming Language, SIGPLAN Notices, 15:11 (Nov. 1980)
- D.F. Athersych, D.T. Barnard, G.H. MacEwen, CD. McCrosky, and D.J. Ross, “A comparative evaluation of Ada and Euclid,” INFOR, 21:3 (Aug. 1983), 157–76
- D.A. Bonyun, W. Pase, and S. Kromodimoeljo; “A blueprint for a verification and evaluation environment based upon Euclid,” I.P. Sharp Associates, Report, Ottawa, Ontario, March 1982
- R.L. Brozovic, “Jovial (J73) to Ada translator system,” M sc thesis. School of Engineering, Air Force Institute of Technology, Wright-Patterson Air Force Base, Dec. 1980
- David R. Crowe, “Ottawa Euclid language specification,” Report TR-5613-81-7,LP. Sharp Associates, Toronto, Nov. 1981
- G.L. Filipski, D.R. Moore and J.E. Newton, “Ada as a software transition tool,” Proceedings of the ACMSIOPLAN Symposium on the Ada Programming Language, SIGPLAN Notices, 15:11 (Nov. 1980)
- C.A.R. Hoare, “An axiomatic approach to computer programming,” communications of the ACM, 12:10 (Oct. 1969)
- R.C. Holt, D.B. Wortman, J.R. Cordy, D.R. Crowe, and l.H. Gdggs, “Euclid: a language for producing quality software,” Proceedings National Computer Conference, Chicago, May 1981
- R.C. Holt, J.R. Cdrdy, and D.B. Wortman, “An introduction to S/SL: syntax/semantic language,” Transactions on Programming Languages and Systems, 4:2 (April 1982)
- R.C. Holt; Concurrent Euclid, The Unix System and Tunis. New York: Addison-Wesley, 1983
- K. Jensen and N. Wirth, Pascal User Manual and Report. Springer-Verlag, 1974
- B.W. Lampson, J.J. Homing, R.L. London, J.G. Mitchell, and G.J. Popek, “Report on the programming language Euclid,” SIGPLAN Notices, 12:1 (Feb. 1977)
- B.W. Lampson, J.J. Homing, R.L. London, J.G. Mitchell, and G.J. Popek, “Revised report on the programming language Euclid,” Report CSL-81-12, Xerox Palo Alto Research Center, Oct. 1981
- D.A. Leeson, D.T. Bamard, G.H. MacEwen, “EucAda translator system,” Andyne Computing Limited Report, Nov. 1983
- P.A. Matthews, R.C. Holt,” A guide to the concurrent Euclid XVCG: an experimental veritication condition generator,” University of Toronto Technical Note CSRG-27, June 1982
- G.H. MacEwen and D.T. Bamard,” The Euclid family and its relation to secure systems,” 7th Department of Defense/National Bureau of Standards Computer Security Conference, 1984
- R.D. Tennent, Principles of Programming Languages. Toronto: Prentice-Hall, 1981
- Toronto Euclid compiler description,” Computer Systems Research Group, University of Toronto, and Special Systems Division, LP. Sharp Associates, Toronto, Jan. 1980