B. D. Shriver, “A Description of the MATHILDA System”, DPB, vol. 2, no. 13, Apr. 1973.