Top-down design of a system summary program. - Marcus J. Waits; Eugene M. Strand; Dimitry Zissermann (ACM Southeast Regional Conference, 1979)