1. E. Astesiano and M. Wirsing. An introduction to ASL. In Proc. of the IFIP WG 2.1 Conf. on Program Specifications and Transformations, 1986.
2. J.-C. Carbonell. DERIVATIONAL ANALOGY: A Theory of Reconstructive Problem Solving and Expertise Acquisition, volume 2. Machine Learning, An Artificial Intelligence Approach, 1986. Chap. 14.
3. A hypertext tool for exploratory policy discussion;Conklin;ACM Transaction on Office Information System,1988
4. V. Donzeau-Gouge, B. Lang, and Mélèse B. Practical applications of a syntax directed program manipulation environment. In I.E.E.E., editor, 7th ICSE, pages 346–354, Orlando, 1984.
5. Constructing specification by combining parallel elaborations;Feather;Transactions on Software Engineering,1989