Genstat 5 : a second course / Pete Digby, Nick Galwey and Peter Lane. - Digby, P. G. N., 1952- (Clarendon, 1989)