1. UTP and Sustainability;Unifying Theories of Programming;2010
2. Objektorientierte Programmierung;Informatik Eine grundlegende Einführung;1998
3. Maschinennahe Programmstrukturen;Informatik Eine grundlegende Einführung;1998
4. On cacheability of lock-variables in tightly coupled multiprocessor systems;ACM SIGARCH Computer Architecture News;1987-07
5. A debugger for concurrent programs;Software: Practice and Experience;1985-06