Abstract Computability on Abstract Structures (1981)

by A P Ershov
Venue:In Algorithms in Modern Math and Computer Science, Lecture Notes in Computer Science