Hájek, O.: Axiomatization of differential equation theory.
(English).
In:
Šeda, Valter (ed.): Differential Equations and Their Applications.
Proceedings of the Conference held in Bratislava in September 1966.
Slovenské pedagogické nakladateľstvo, Bratislava, 1967.
pp. 163-172
