A condition for identifying two elements of whatever model of combinatory logic (1975)

by Jacopini
Venue:in Bohmm, ed., Lecture Notes in Computer Science, 37