1. Alefeld, G., Herzberger, J.: Introduction to interval computations. New York: Academic Press 1983.
2. Bauch, H., Jahn, K.-U., Oelschlägel, D., Süsse, H., Wiebigke, V.: Intervallmathematik-Theorie und Anwendungen. Leipzig: Teubner-Verlag 1987.
3. Berlioux, P., Bizard, P.: Algorithms: The construction, proof and analysis of programs. New York: Wiley 1985.
4. Floyd, R.: Assigning meanings to programs. Mathematical aspects of computer science, XIX AMS, 19–32 (1967).
5. Gries, D.: The science of programming. Berlin, Heidelberg, New York: Springer 1981.