Data structured program design - Hansen, Kirk (Prentice-Hall, 1986)