(1998). Mitteilungen aus dem Mathem. Seminar Giessen; Heft 233; Interactive Theorem Proving in Symbolic Incidence Geometry. Giessen, 1998.
Chicago-viite (17. p.)Mitteilungen Aus Dem Mathem. Seminar Giessen; Heft 233; Interactive Theorem Proving in Symbolic Incidence Geometry. Giessen, 1998, 1998.
MLA-viite (9. p.)Mitteilungen Aus Dem Mathem. Seminar Giessen; Heft 233; Interactive Theorem Proving in Symbolic Incidence Geometry. Giessen, 1998, 1998.
Varoitus: Nämä viitteet eivät aina ole täysin luotettavia.