Title: Mathematics of Program Construction: Third International Conference, Mpc '95, Kloster Irsee, Germany, July 17-21, 1995