Ida. (2013). Automated Deduction in Geometry (1.). Springer Berlin Heidelberg.
Chicago-viite (17. p.)Ida. Automated Deduction in Geometry. 1. Springer Berlin Heidelberg, 2013.
MLA-viite (8. p.)Ida. Automated Deduction in Geometry. 1. Springer Berlin Heidelberg, 2013.
Varoitus: Nämä viitteet eivät aina ole täysin luotettavia.