Ada for specification posssibilities and limitations (The Ada Companion series, 1985)