Top-down synthesis of simple divide and conquer algorithms | lit.salon