Abstract computability and algebraic specification (2002)

by J. V. Tucker , J. I. Zucker
Venue:ACM Transactions on Computational Logic
Citations:5 - 3 self