Program construction and verification - Backhouse, Roland C., 1948- (Prentice-Hall international series in computer science, 1986)