A general result on abstract flowchart schemes with applications to the study of accessibility, reduction and minimization (1992)

by Stefanescu
Venue:Theoret. Comput. Sci