Selected papers - Elgot, Calvin C. (Springer-Verlag, 1982)