Abstract computability and algebraic specification, (2002)

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