Peter Deussen A Decidability Criterion for van Wijngaarden Grammars Acta Inf. 5 1975 353-375 db/journals/acta/acta5.html#Deussen75