@Book{Mueller-Olm96,
  Author	= {Markus M\"uller-Olm},
  Title		= {{Modular Compiler Verification: A Refinement-Algebraic Approach 
                    Advocating Stepwise Abstraction}},
  Publisher     = Springer,
  Series        = LNCS,
  Volume        = {1283},
  Year		= {1997},
  Address	= {Berlin, Heidelberg, New York}
}