Seymour Ginsburg Gene F. Rose Some Recursively Unsolvable Problems in ALGOL-Like Languages. 29-47 1963 10 J. ACM 1 http://doi.acm.org/10.1145/321150.321153 db/journals/jacm/jacm10.html#GinsburgR63