1

K. M. Terrell and L. A. Johnson, "AIRMICS LARE/CADSAT Analysis Final Report", Logicon Report R 81003(A), April 1980.

2

Ever hart, et al, "SAMS IORL Demonstration Final Report", Teledyne Brown Engineering Report SD80-AIRMICS-2428, September 1980.

3

R. P. Loshbough, et. al., "Applicability of SREM to the Verification of Management Information Systems Software Requirements", TRW Report 37554-6950-001, April 1981.

4

Barry Böehm, "Software Engineering", IEEE Transactions on Computers, December 1976 (pages 1226--1241).

5

U. S. Army, TM 38-171-2 Volume IV, Detailed Functional Systems Requirements (DFSR), Standard Army Maintenance System (SAMS) - Retail Level, Maintenance Operations Management (MOM), (SAMS-1).

6

Teledyne Brown Engineering, "The IORL Operators Users' Language Manual", 1980.

7

Teledyne Brown Engineering, "The IORL Users Language Manual, Version 1-B", 1980.

8

Teichroew and Chikofsky, "An Introduction to the Problem Statement Language (PSL) and the Problem Analyzer (PSA)", ISDOS Project, Department of Industrial & Operational Engineering, University of Michigan, Ann Arbor, MI 48109, August 1980.

9

Chris P. Gane , Trish Sarson, Structured Systems Analysis: Tools and Techniques, Prentice Hall Professional Technical Reference, 1979

10

Yourdon and Constantine, "Structured design", Yourdon Press, New York, 1975.

11

Dickover, "Principles of Coupling and Cohesion in the Practice of SADT", Technical Pub No. 039, SofTech Inc. Waltham, MA, 1976.

Alan,M. Davis, A comparison of techniques for the specification of external system behavior, Communications of the ACM, v.31 n.9, p.1098-1115, Sept. 1988

Paul A. Scheffer , William E. Rzepka , Albert H. Stone, III, A large system evaluation of SREM, Proceedings of the 7th international conference on Software engineering, p.172-180, March 26-29, 1984, Orlando, Florida, United States

Joe Celko: colleagues

John S. Davis: colleagues

John Mitchell: colleagues