W. Mathiesen, “Appendix B til Specialeopgaven: Konstruktion og Implementering af interaktivt theorem proving system: Brugervejledning”, DPB, vol. 1, no. 4, May 1972.