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