Genstat 5 an Introduction - Lane Pater (New York Oxford Science Publications, 1987)