Verifizierende rechnerinvariante Numerikmodule - Kersten, Tim (s.n.], 1998)