, by R. R. Murphy, Bradford Book, MIT Press, Cambridge, MA, 2001, ISBN 0-262-13383-0.