Mathiesen, W. Appendix B Til Specialeopgaven: Konstruktion Og Implementering Af Interaktivt Theorem Proving System: Brugervejledning. DPB 1972, 1.