Building controls into structured systems - Brill, Alan E. (Yourdon Press, 1983)