Operational and abstract semantics of the query language G-Log
scientific article; zbMATH DE number 1774109