Ada for specification possibilities and limitations (Univ. Pr., 1985)