Formal Semantics for SA Style Data Flow Diagram Specification Languages.

Gary T. Leavens, Tim Wahls, Albert L. Baker

Browse the full SAC paper archive.