Prehofer, C. (1998). Solving higher-order equations: From logic to programming. Birkhauser.
Παραπομπή σε μορφή Chicago (17η εκδ.)Prehofer, Christian. Solving Higher-order Equations: From Logic to Programming. Boston: Birkhauser, 1998.
Παραπομπή σε μορφή MLA (8th εκδ.)Prehofer, Christian. Solving Higher-order Equations: From Logic to Programming. Birkhauser, 1998.
Πρόσοχή: Οι παραπομπές μπορεί να μην είναι 100% ακριβείς.