4 works on record
C++ toolbox for verified computing I
PASCAL-XSC
Grundkurs Programmieren in Java
Automatische Ergebnisverifikation bei globalen Optimierungsproblemen