Title: Translatability and decidability questions for restricted classes of program schemas
First published: 1978