1. Constructing induction rules for deductive synthesis proofs;Bundy;Electron. Notes Theor. Comput. Sci.,2006
2. Proof–based synthesis of sorting algorithms using multisets in Theorema;Dramnesc,2019
3. Deductive synthesis of Bubble-Sort using multisets;Dramnesc,2020
4. Deductive synthesis of Min-Max-Sort using multisets;Dramnesc,2020
5. Synthesis of list algorithms by mechanical proving;Dramnesc;J. Symb. Comput.,2015