Ada for specification possibilities and limitations (The Ada companion series, 1985)