BDF neboli věta o hlavních osách v nekonečné dimenzi P. R. Halmos — 1984 Pokroky matematiky, fyziky a astronomie
BDF or the infinite principal axis theorem P. R. Halmos — 1986 Mathematica Applicanda The English original has been reviewed [Notices Amer. Math. Soc. 30 (1983), no. 4, 387–391; MR0702454].
Americká matematika od roku 1940 do předvčerejška J. H. Ewing; W. H. Gustafson; P. R. Halmos; S. H. Moolgavkar; W. H. Wheeler; W. P. Ziemer — 1979 Pokroky matematiky, fyziky a astronomie