Unbounded Computational Structures (1978)

by D P Friedman, D S Wise
Venue:Softw. Pract. Exper