Title: Combinatory logic
First published: 1958