Deriving a class of layer-oriented graph algorithms
scientific article; zbMATH DE number 896514