Y.W. Yung, EDEN - an Evaluator of Definitive Notations, MSc Thesis, Department of Computer Science, University of Warwick (1989)