Lewis, T.G. (Theodore Gyle)
Software engineering: analysis and verfication
Reston Publishing, 1982
 Buku Teks
Software engineering ; architecture-driven software development / Richard F. Schmidt
Morgan Kaufmann, 2013
 eBooks
Shiller, Larry
Software excellence
Yourdon Press, 1990
 Buku Teks
Automating software design
edited by Michael R. Lowry and Robert D. McCartney
AAAI Press , 1991
 Buku Teks
Fisher, Alan S.
CASE using software development tools
John Wiley & Sons, 1991
 Buku Teks