A language extension for graph processing and its formal semantics
scientific article; zbMATH DE number 3358028