Algebraic semantics of imperative programs by Malcolm, Grant, Goguen, Joseph A. fromFoundations of computing 0 Type: Book
