Grant Malcolm Joseph a Goguen

Grant Malcolm Joseph a Goguen is the author of books such as Algebraic Semantics Of Imperative Programs.