Mike Paterson Decision problems in computational models. 85-85 1972 conf/ershov/1972 International Sympoisum on Theoretical Programming db/conf/ershov/ershov1972.html#Paterson72 http://dx.doi.org/10.1007/3-540-06720-5_7