Reihe Lecture Notes in Computer ScienceMarkus Müller-Olm ×Bücher × 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 BerlinSoftcover1997