ISBN 026207172X books & textbook
Algebraic Semantics of Imperative Programs (Foundations of Computing) (FOUNDATIONS OF COMPUTING SERIES)
Goguen, Joseph A. Malcolm, Grant
Mit Pr /1996-05-22 Hardcover / 228 Pages
isbn-10: 026207172X / isbn-13: 9780262071727
