1. Applications and extensions of SADT;Ross;IEEE Computer,1985
2. SAS — a specification support system;Lissandre,1985
3. Data flow program graph;Davis;IEEE Computer,1982
4. Structured Analysis and System Specification;Demarco,1978
5. Introduction to Simulation and SLAM II;Pritsker,1986