Nesting in Ada programs is for the birds

This publication has 3 references indexed in Scilit:

• Proceedings of an ACM conference on Language design for reliable software -
  Published by Association for Computing Machinery (ACM) ,1977
• Specification techniques for data abstractions
  ACM SIGPLAN Notices, 1975
• Revised report on the algorithmic language ALGOL 60
  Communications of the ACM, 1963