Peter Gorm Larsen Nico Plat Hans Toetenel A Formal Semantics of Data Flow Diagrams. 586-606 1994 6 Formal Asp. Comput. 6 db/journals/fac/fac6.html#LarsenPT94