Implementierung numerischer verifizierender Verfahren mit graphischer Benutzerschnittstelle unter Oberon-XSC
-
pocket
,
Tyska, 2003