Παραπομπή σε μορφή APA (7η εκδ.)

Zhang, H. (1996). Automated mathematical induction. Kluwer Academic.

Παραπομπή σε μορφή Chicago (17η εκδ.)

Zhang, H. Automated Mathematical Induction. Dordrecht ; Boston: Kluwer Academic, 1996.

Παραπομπή σε μορφή MLA (8th εκδ.)

Zhang, H. Automated Mathematical Induction. Kluwer Academic, 1996.