Kersten, T. (1998). Verifizierende rechnerinvariante Numerikmodule. s.n.].
Trích dẫn kiểu Chicago (xuất bản lần thứ 7)Kersten, Tim. Verifizierende Rechnerinvariante Numerikmodule. [S.l.: s.n.], 1998.
Trích dẫn kiểu MLA (xuất bản lần thứ 8)Kersten, Tim. Verifizierende Rechnerinvariante Numerikmodule. s.n.], 1998.
Cảnh báo: Các trích dẫn này có thể không phải lúc nào cũng chính xác 100%.