Goguen, Joseph Malcolm, Grant "Algebraic Semantics of Imperative Programs" (Foundations of Computing) by CIT Press - Foundations of Computing 1996

Languages mentioned

• OBJ {1976}