P. Kornerup and B. D. Shriver, “An overview of the MATHILDA system”, DPB, vol. 3, no. 34, Aug. 1974.