Mathematics of Program Construction Third International Conference, MPC '95, Kloster Irsee, Germany, July 17 - 21, 1995. Proceedings Möller, Bernhard Heftet / 1995 / Engelsk
Mathematics of Program Construction 6th International Conference, MPC 2002, Dagstuhl Castle, Germany, July 8-10, 2002. Proceedings Boiten Eerke A. Heftet / 2002 / Engelsk
Prospects for Hardware Foundations ESPRIT Working Group 8533 NADA — New Hardware Design Methods Survey Chapters Möller, Bernhard Heftet / 1998 / Engelsk
Relations and Kleene Algebra in Computer Science 10th International Conference on Relational Methods in Computer Science, and 5th International Conference on Applications of Kleene Algebra, RelMiCS/AKA 2008, Frauenwörth, Germany, April 7-11, 2008, Proceedings Berghammer Rudolf Heftet / 2008 / Engelsk
Relations and Kleene Algebra in Computer Science 11th International Conference on Relational Methods in Computer Science, RelMiCS 2009, and 6th International Conference on Applications of Kleene Algebra, AKA 2009, Doha, Qatar, November 1-5, 2009, Proceedings Berghammer Rudolf Heftet / 2009 / Engelsk
Relational and Kleene-Algebraic Methods in Computer Science 7th International Seminar on Relational Methods in Computer Science and 2nd International Workshop on Applications of Kleene Algebra, Bad Malente, Germany, May 12-17, 2003, Revised Selected Papers Berghammer, R. Heftet / 2004 / Engelsk
Formal Program Development IFIP TC2/WG 2.1 State-of-the-Art Report Möller, Bernhard Heftet / 1993 / Engelsk
