Barry Smyth and Donal Finn. Design Synthesis: A Model of Hierarchical Case-Based Reasoning. Technical Report TCD-CS-93-29, Computer Science Department, Trinity College Dublin, 1993.