Carlos Canal Juan Manuel Murillo Pascal Poizat Software Adaptation. 2107-2109 2008 14 J. UCS 13 db/journals/jucs/jucs14.html#CanalMP08