Kersten, T. (1998). Verifizierende rechnerinvariante Numerikmodule. s.n.].
Lua i Stíl Chicago (17ú heag.)Kersten, Tim. Verifizierende Rechnerinvariante Numerikmodule. [S.l.: s.n.], 1998.
Lua MLA (8ú heag.)Kersten, Tim. Verifizierende Rechnerinvariante Numerikmodule. s.n.], 1998.
Rabhadh: Seans nach mbeach na luanna seo go hiomlán cruinn i ngach uile chás.