LARA Lecture 04: Refinement, Equivalence, Synthesis Slides in PDF More information on synthesis: Communications of ACM article on synthesis procedures