Flowcharting by stepwise refinement (1978) [pdf] | Hacker News Reader