1. Applications of a strategy for designing divide-and-conquer algorithms;Smith;Sci. Comput. Program.,1987
2. Synthesis of implementations for divide-and-conquer specifications;Bortin,2022
3. Algebra of Programming;Bird,1997
4. Induction and recursion on datatypes;Doornbos,1995
5. The design of divide-and-conquer algorithms;Smith;Sci. Comput. Program.,1985