Toward a computation system based on set theory, Theoretical Computer Science 60 (1988)

by M Beeson