Anders Haraldsson: - A procedure generator for a predicate calculus
data base. Proceedings of International Federation of Information Processing, 1974, pages 575-579.
Erik Sandewall: Program structure and process look-ahead in language understanding programs. Departmental report, Datalogilaboratoriet, Department of Computer Science, Uppsala University, number 37/10.