Shriver, B. D. A Description of the MATHILDA System. DPB 1973, 2.