Genstat 5 : reference manual / planned and written by the Genstat 5 Committee. (Oxford University Press, 1987)