Peter Deussen: A Decidability Criterion for van Wijngaarden Grammars. Acta Informatica 5: 353-375 (1975)