Definition - Robinson, Richard 1902-1996 (Clarendon, 1968)