Manfred Broy;Gunther Schmidt
-;-
Semantically Extended Dataflow Diagrams: A Formal Specification Tool
IEEE Transactions on Software Engineering