An operational and denotational approach to non-context-freeness
scientific article; zbMATH DE number 1909911
scientific article