Science of Computer Programming, Volume 26

Volume 26, Numbers 1-3, May 1996

Mathematics of Program Construction Selected Papers from the Third International Conference on the Mathematics of Program Construction (17-21 July 1995, Kloster Irsee, Germany)
maintained by Schloss Dagstuhl LZI, founded at University of Trier