APA-viite (7. p.)
NATO Advanced Study Institute on Proof Technology and Computation Marktoberdorf, Germany, ebrary, Inc, Schwichtenberg, H., & Spies, K. (2006). Proof technology and computation. IOS Press.
Chicago-viite (17. p.)
NATO Advanced Study Institute on Proof Technology and Computation Marktoberdorf, Germany, Inc ebrary, Helmut Schwichtenberg, ja Katharina Spies. Proof Technology and Computation. Amsterdam ; Washington, DC: IOS Press, 2006.
MLA-viite (9. p.)
NATO Advanced Study Institute on Proof Technology and Computation Marktoberdorf, Germany, et al. Proof Technology and Computation. IOS Press, 2006.
Varoitus: Nämä viitteet eivät aina ole täysin luotettavia.