[1] Boehm, Barry W. “A Spiral Model of Software Development and Enhancement.” ACM SIGSOFT Software Engineering Notes, Vol. 11, No. 4 (August 1986).

[2] Booth, Taylor L. Sequential Machines and Automata Theory. New York: John Wiley & Sons, 1967.

[3] Date, C. J. An Introduction to Database Systems, 3rd ed. Reading, Mass.: Addison-Wesley, 1986.

[4] De Marco, Tom. Structured Analysis and System Specification. Englewood Cliffs, N.J.: Prentice-Hall, 1978.

[5] Flavin, Matt. Fundamental Concepts of Information Modeling. Englewood Cliffs, N.J.: Prentice-Hall, 1981.

[6] Hofstadter, Douglas R. Gödel, Escher, Bach. New York: Random House, Vintage Books, 1980.

[7] Hopcroft, John, and Jeffrey Ullman. Introduction to Automata Theory, Languages and ...

Get Strategies for Real-Time System Specification now with O’Reilly online learning.

O’Reilly members experience live online training, plus books, videos, and digital content from 200+ publishers.