Creating effective software computer program design using the Jackson methodology - King, David (Yourdon computing series, 1988)