ISBN 9780521103503 books & textbook
Data Refinement: Model-Oriented Proof Methods and their Comparison (Cambridge Tracts in Theoretical Computer Science, Series Number 47)
de Roever, Willem-Paul Engelhardt, Kai
Cambridge University Press /2008-12-18 Paperback / 436 Pages
isbn-10: 0521103509 / isbn-13: 9780521103503
