Mathiesen, Willy. “Appendix B Til Specialeopgaven: Konstruktion Og Implementering Af Interaktivt Theorem Proving System: Brugervejledning”. DAIMI Report Series 1, no. 4 (May 1, 1972). Accessed May 8, 2024. https://tidsskrift.dk/daimipb/article/view/6304.