The Pocket Oxford Dictionary - "Allen, R. E." (Clarendon Press New York, 1989)