Stephen E. Cross: A qualitative reasoning approach to mathematical and heuristic knowledge integration. CHI 1983: 186-189