A system of graph grammars which generates all recursively enumerable sets of labelled graphs
scientific article; zbMATH DE number 3718560