GENSTAT 5 reference manual. (1993)

by R W Payne, P W Lane, P G N Digby, S A Harding, P K Leech, G W Morgan, A D Todd, R Thompson, G Tunicliffe Wilson, S J Welham, R P White