Authors: Peter Gorm Larsen Nico Plat Hans Toetenel

Citation: Peter Gorm Larsen et al., A formal semantics of data flow diagrams, Formal aspects of computing The international journal of formal methods , 6(6), 1994, pp. 586-606