Kersten, T. (1998). Verifizierende rechnerinvariante Numerikmodule. s.n.].
Chicago-referens (17:e uppl.)Kersten, Tim. Verifizierende Rechnerinvariante Numerikmodule. [S.l.: s.n.], 1998.
MLA-referens (8:e uppl.)Kersten, Tim. Verifizierende Rechnerinvariante Numerikmodule. s.n.], 1998.
Varning: dessa hänvisningar är inte alltid fullständigt riktiga.