Equivalence problems in a model of computation (1967)

by M S Paterson