Formal Semantics for SA Style Data Flow Diagram Specification Languages

Gary T. Leavens, Tim Wahls, Albert L. Baker. Formal Semantics for SA Style Data Flow Diagram Specification Languages. In SAC. pages 526-532, 1999. [doi]

Bibliographies