Computable functions and semicomputable sets on many-sorted algebras (2000)

by J V Tucker, J I Zucker
Venue:Handbook of Logic in Computer Science, volume V