Mathematics of program construction : third international conference, MPC '95, Kloster Irsee, Germany, July 17-21, 1995 : proceedings - Möller, Bernhard, 1953- (Lecture notes in computer science ;, 1995)