History Variables - The Semantics, Formal Correctness, and Implementation of History Variables in an Imperative Programming Language 2 authors - Paperback £56.44 Find out more
