Software synthesis procedures

Viktor Kuncak, Mikaƫl Mayer, Ruzica Piskac, Philippe Suter. Software synthesis procedures. Communications of the ACM, 55(2):103-111, 2012. [doi]