Axiomatic Theory of Algorithms: Computability and Decidability in Algorithmic ClassesMark Burgin · 2004Abstract onlyNot checked