Kersten, T. (1998). Verifizierende rechnerinvariante Numerikmodule. s.n.].
Čikaški stil citiranja (17. izdanje)Kersten, Tim. Verifizierende Rechnerinvariante Numerikmodule. [S.l.: s.n.], 1998.
MLA način citiranja (8. izdanje)Kersten, Tim. Verifizierende Rechnerinvariante Numerikmodule. s.n.], 1998.
Upozorenje: Ovi citati možda nisu uvijek 100% točni.