Proof planning a methodology for developing AI systems involving design - Lowe, Helen (1993)