TY  - BOOK
AU  - Müller-Olm, Markus
TI  - Modular compiler verification : a refinement-algebraic approach advocating stepwise abstraction
SN  - 9783540634065
SN  - 97013428
U1  - 005.453 MUL 
PY  - 1997///
CY  - Berlin
PB  - Springer
KW  - Compilers - Computer programs
KW  - Computer software - Verification
N1  - Includes bibliographical references (p. [239]-243) and index
ER  -