The possible solutions to a given problem emerge as the leaves of a tree, each node representing a point of deliberation and decision.
"Software Pioneers: Contributions to Software Engineering: Programme Development by Stepwise Refinement". Book edited by Manfred Broy and Ernst Denert, June 27, 2002.
