1. Lecture Notes in Computer Science;F. Blomquist,2009
2. Bohlender, G.: Genaue Berechnung mehrfacher Summen, Produkte und Wurzeln von Gleitkommazahlen und allgemeine Arithmetik in höheren Programmiersprachen. Dissertation, Universität Karlsruhe (1978)
3. Bohlender, G.: What Do We Need Beyond IEEE Arithmetic? In: Ullrich, C. (ed.) Computer Arithmetic and Self-Validating Numerical Methods, pp. 1–32. Academic Press, San Diego (1990)
4. Bohlender, G., Walter, W., Kornerup, P., Matula, D.W.: Semantics for Exact Floating Point Operations. In: Proceedings of 10th IEEE Symposium on Computer Arithmetic, June 26-28, pp. 22–26. IEEE (1991)
5. Bohlender, G., Kolberg, M., Cordeiro, D., Fernandes, G., Goldman, A.: A Multithreaded Verified Method for Solving Linear Systems in Dual-Core Processors. In: PARA – Workshop on State-of-the-Art in Scientific and Parallel Computing. Trondheim, 2008. Accepted for publication in LNCS. Springer, Heidelberg (2009)