Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

	1	Harald Ganzinger , Knut Ripken, Operator identification in ADA: formal specification, complexity, and concrete implementation, ACM SIGPLAN Notices, v.15 n.2, p.30-42, February 1980  [doi>10.1145/947586.947589]
	2	J. D. Ichbiah, Preliminary Ada reference manual, ACM SIGPLAN Notices, v.14 n.6a, p.1-145, June 1979  [doi>10.1145/956650.956651]