Algebraic Semantics of Imperative Programs - Goguen (MIT Press Cambridge, 1996)
Keywords: ROBOTICS AND AUTOMATION