> by [[Sean Luke]] https://cs.gmu.edu/~sean/book/synthesis/Synthesis.pdf