You are about to access our book library "Mathematics of Program Construction: Third International Conference, MPC '95, Kloster Irsee, Germany, July 17 - 21, 1995. Proceedings (Lecture Notes in Computer Science, 947) full version" .