Giorgio De Michelis Carla Simone Semantic Characterization of Flow Diagrams and Their Decomposability. 81-96 1974 conf/icalp/1974 ICALP db/conf/icalp/icalp74.html#MichelisS74 http://dx.doi.org/10.1007/3-540-06841-4_53