Counter-one-pass features in one-pass compilation: A formalization using attribute grammars
scientific article; zbMATH DE number 3610722