ISBN 3540634061 books & textbook
Modular Compiler Verification: A Refinement-Algebraic Approach Advocating Stepwise Abstraction (Lecture Notes in Computer Science, 1283)
Springer /1997-08-06 Paperback / 276 Pages
isbn-10: 3540634061 / isbn-13: 9783540634065
