James Cain The Theory of Computability Developed in Terms of Satisfaction. 515-532 1999 40 Notre Dame Journal of Formal Logic 4 db/journals/ndjfl/ndjfl40.html#Cain99