LEAN: An intermediate language based on graph rewriting
scientific article; zbMATH DE number 4115943