See for example Structured Programming with Limited Private Types in Ada: Nesting is for the Soaring Eagles, by Henry G. Baker. (http://citeseerx.ist.psu.edu/v

See for example Structured Programming with Limited Private Types in Ada: Nesting is for the Soaring Eagles, by Henry G. Baker. (http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.39.625&rep=rep1&type=pdf http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.39....)