Mathematics of Program Construction: Third International Conference, Mpc '95, Kloster Irsee, Germany, July 17-21, 1995Bernhard Moller · First published 1995Open the Tome
Higher-order algebra, logic, and term rewritingJan Heering, Karl Meinke, Bernhard Moller · First published 1994Open the Tome
Formal program developmentHelmut A. Partsch, Bernhard Moller, Helmut Partsch · First published 1993Open the Tome
Rhenvs, et eivs descriptio elegans, a primis fontibvs vsqve ad Oceanvm GermanicvmBernhard Moller · First published 1570Open the Tome
