Reihe Lecture Notes in Computer ScienceMarkus Müller-Olm × Variations on ConstantsFlow Analysis of Sequential and Parallel ProgramsMarkus Müller-OlmSpringer BerlineBook2006 Variations on ConstantsFlow Analysis of Sequential and Parallel ProgramsMarkus Müller-OlmSpringer BerlinSoftcover2006 Modular Compiler VerificationA Refinement-Algebraic Approach Advocating Stepwise AbstractionMarkus Müller-OlmSpringer BerlineBook2005 Modular Compiler VerificationA Refinement-Algebraic Approach Advocating Stepwise AbstractionMarkus Müller-OlmSpringer BerlinSoftcover1997