Program verification using Ada - McGettrick, Andrew D. (Cambridge : Cambridge University Press, 1982)
Keywords: ADA