Program verification using Ada - McGettrick, Andrew D; Author (Cambridge computer science series, 1982)