Towards a computation system based on set theory,. Beeson, M. Theoretical Computer Science, 60:297-340, 1988.
Towards a computation system based on set theory, [pdf]Pdf  bibtex   3 downloads  

Downloads: 3