Tomasz Janowski Hongjun Zheng Gustavo Giménez Lugo Market-Driven Symbolic Execution of Methods of Manufacturing Enterprises. 100-109 1998 ICFEM http://computer.org/proceedings/icfem/9198/91980100abs.htm db/conf/icfem/icfem1998.html#JanowskiHL98