Mark Woodman
Open Univ., Milton Keynes, UK
Semantically Extended Dataflow Diagrams: A Formal Specification Tool
IEEE Transactions on Software Engineering