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

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