Denotational Semantics of a Command Interpreter and Their Implementation in Standard ML. - C. McDonald; Lloyd Allison (Comput. J., 1989)