John Addison Jon Barwise H. Jerome Keisler Kenneth Kunen Yiannis N. Moschovakis The Kleene Symposium and the Summer Meeting of the Association for Symbolic Logic. 469-480 1979 44 J. Symb. Log. 3 db/journals/jsyml/jsyml44.html#AddisonBKKM79