| Titel | ISBN-13 (ISBN-10) | Erscheinungsjahr |
|---|---|---|
| Modular Compiler Verification: A Refinement-Algebraic Approach Advocating Stepwise Abstraction (Lecture Notes in Computer Science) | 978-3-54O-634O6-5 (3-54O-634O6-1) | 1997 |
M M · M. Muller · M. O. · Markus Müller-Olm · Markus Muller