Ratschan, Stefan Programming Logics, MPI for Informatics, Max Planck Society;
Jaulin, L., Ratschan, S., & Hardouin, L. (2004). Set Computation for Nonlinear Control. Reliable Computing, 10, 1-26.