Kornerup, P.; Shriver, B. D. An Overview of the MATHILDA System. DPB 1974, 3.