A general result on abstract flowchart schemes with applications to the study of accessibility, reduction and minimization
scientific article; zbMATH DE number 65322
scientific article