Oscar H. Ibarra Restricted One-Counter Machines with Undecidable Universe Problems. 181-186 1979 13 Mathematical Systems Theory db/journals/mst/mst13.html#Ibarra79