Genstat 5 : an introduction / Peter Lane, Nick Galwey and Norman Alvey. - Lane, Peter, 1952- (Clarendon, 1987)