On the existence of σ-complete prime ideals in Boolean algebras W. A. J. Luxemburg — 1968 Colloquium Mathematicae
Neštandardné číselné systémy a odovodnenie Leibnizovho infinitezimálneho počtu W. A. J. Luxemburg — 1977 Pokroky matematiky, fyziky a astronomie