Mathiesen, W. “Appendix B Til Specialeopgaven: Konstruktion Og Implementering Af Interaktivt Theorem Proving System: Brugervejledning”. DAIMI Report Series, vol. 1, no. 4, May 1972, doi:10.7146/dpb.v1i4.6304.