Peter J. L. Wallis
Univ. of Bath, Bath, UK
Requirements analysis for Ada compilers
Communications of the ACM
Language design and analyzability: a retrospective
Software—Practice & Experience