HALMOS, Paul Richard [Hrsg.]