Shlaer, Sally
Object-oriented systems analysis modeling the world in data
Prentice-Hall, 1988
Buku Teks SO
Ince, David
Software engineering
Van Nostrand Reinhold, 1989
Buku Teks
Lewis, T.G. (Theodore Gyle)
Software engineering: analysis and verfication
Reston Publishing, 1982
Buku Teks
Molter, H. Gregor
Syndevs co-design flow: a hardware / software co-design flow based on the discrete event system specification model of computation
Springer, 2012
eBooks
Shoman, Martin L.
Software engineering: design reliability, and management
McGraw-Hill, 1983
Buku Teks SO