algebraic analysis of flowchart algorithms
scientific article; zbMATH DE number 17530