Abstract computability and algebraic specification (2002)

by J V Tucker, J I Zucker
Venue:ACM Transactions on Computational Logic