• Swan J and Krawiec K. (2018). Discovering Relational Structure in Program Synthesis Problems with Analogical Reasoning. Genetic Programming Theory and Practice XIV. 10.1007/978-3-319-97088-2_10. (149-164).

    http://link.springer.com/10.1007/978-3-319-97088-2_10

  • Poetschke D. (1989). Analogical reasoning for second generation expert systems. Analogical and Inductive Inference. 10.1007/3-540-51734-0_67. (264-276).

    http://link.springer.com/10.1007/3-540-51734-0_67

  • Melis C and Melis E. (1987). Some considerations about formalization of analogical reasoning. Analogical and Inductive Inference. 10.1007/3-540-18081-8_89. (125-134).

    http://link.springer.com/10.1007/3-540-18081-8_89

  • Pötschke D. (1986). Formalizing analogical reasoning. Mathematical Methods of Specification and Synthesis of Software Systems '85. 10.1007/3-540-16444-8_19. (215-218).

    http://link.springer.com/10.1007/3-540-16444-8_19

  • Miriyala K and Harandi M. (1991). Automatic Derivation of Formal Software Specifications from Informal Descriptions. IEEE Transactions on Software Engineering. 17:10. (1126-1142). Online publication date: 1-Oct-1991.

    https://doi.org/10.1109/32.99198

  • Dershowitz N. (1985). Program abstraction and instantiation. ACM Transactions on Programming Languages and Systems. 7:3. (446-477). Online publication date: 1-Jul-1985.

    https://doi.org/10.1145/3916.3986

  • Dershowitz N. The evolution of programs. Proceedings of the 5th international conference on Software engineering. (79-88).

    /doi/10.5555/800078.802519

  • Moll R and Ulrich J. The synthesis of programs by analogy. Proceedings of the 6th international joint conference on Artificial intelligence - Volume 1. (592-594).

    /doi/10.5555/1624861.1624995

  • Manna Z and Waldinger R. (1979). Synthesis. IEEE Transactions on Software Engineering. 5:4. (294-328). Online publication date: 1-Jul-1979.

    https://doi.org/10.1109/TSE.1979.234198

  • Manna Z and Waldinger R. (1978). The Logic of Computer Programming. IEEE Transactions on Software Engineering. 4:3. (199-229). Online publication date: 1-May-1978.

    https://doi.org/10.1109/TSE.1978.231499