A method for proving programming languages non context-free
scientific article; zbMATH DE number 3597903