L. Kovacs, “Symbol Elimination for Automated Generation of Program Properties”, eceasst, vol. 70, Nov. 2014.