Programming methodology - McIver, Annabelle; Morgan, Carroll 1952- (Monographs in computer science, 2003)