Addison J.W. ,Kleene S. C. ...