Mathematics of program construction : second international conference, Oxford, U.K., June 29-July 3, 1992 : proceedings - Woodcock, Jim; Morgan, Carroll, 1952-; Bird, R. S. (Richard Simpson), 1943- (Lecture notes in computer science ;, 1993)