Serna M., E.; Serna A., A. Power and Limitations of Formal Methods for Software Fabrication: Thirty Years Later. IJCAI 2017, 41.