1. Burton, W.K.: Constructive thermodynamics. In: Schmidt, H.A., Schütte, K., Thiele, H.J. (eds.): Contributions to mathematical logics. Amsterdam: North-Holland 1968.
2. Giles, R.: Mathematical foundations of thermodynamics. Oxford: Pergamon Press 1964.
3. Carathéodory, C.: Math. Ann.67, 355–386 (1909) [English transl. in Kestin, J. (ed.): The second law of thermodynamics. London: Dowden 1976].
4. Sneddon, I.N.: Elements of partial differential equations. New York: McGraw-Hill 1957.
5. Aberth, O.: Analysis in the computable number field. J. Ass. Comp. Mach.15, 275–299 (1968).