Rader, Robert J.
Advanced software design techniques
PBI, 1978
 Buku Teks
Software eignineering: methods and techniques
edited by J. Blank and M.J. Krijger
John Wiley & Sons, 1983
 Buku Teks
Rice, John G.
Build program technique: a practical approach for the development of automatic software generation systems
John Wiley & Sons, 1981
 Buku Teks
Lewis, T.G. (Theodore Gyle)
Software engineering : analysis and verification
Prentice-Hall, 1982
 Buku Teks
Fairley, Richard E.
Software engineering concepts
McGraw-Hill, 1985
 Buku Teks