Program Verification Using ADA - McGettrick, Andrew D. (Cambridge University Press, 1982)