C. G. Davis: Software design synthesis for strategic computing. FJCC 1987: 96