"A. M. Halmos"