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