1. Approximating the Domains of Functional and Imperative Programs;Brauburger;Science of Computer Programming,1999
2. On Understanding Types, Data Abstraction, and Polymorphism;Cardelli;AC Computing Surveys,1985
3. Termination Analysis for Functional Programs;Giesl,1998
4. Gonder, M., “Entwurf und Implementierung kontextabhängiger Prozeduren und Untertypen in ✓eriFun,” Diploma thesis, Programmiermethodik, TU Darmstadt (2006)
5. Computer-Aided Reasoning: An Approach;Kaufmann,2000