Reasoned programming - Broda, Krysia, 1949- (Prentice-Hall international series in computer science, 1994)