Shriver, B. D. (1973) “A Description of the MATHILDA System”, DAIMI Report Series, 2(13). doi: 10.7146/dpb.v2i13.6428.