Monotone data flow analysis frameworks
scientific article; zbMATH DE number 3584912