An introduction to genstat. - Alvey, Norman (London Academic Press, 1982)