Kersten, T. (1998). Verifizierende rechnerinvariante Numerikmodule. s.n.].
Παραπομπή σε μορφή Chicago (17η εκδ.)Kersten, Tim. Verifizierende Rechnerinvariante Numerikmodule. [S.l.: s.n.], 1998.
Παραπομπή σε μορφή MLA (8th εκδ.)Kersten, Tim. Verifizierende Rechnerinvariante Numerikmodule. s.n.], 1998.
Πρόσοχή: Οι παραπομπές μπορεί να μην είναι 100% ακριβείς.