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