Program verification using Ada - McGettrick, Andrew D. 1944- (Cambridge Univ. Pr., 1982)