Lançamentos por Halmos, Paul (Santa Clara University, California)