:: SARAH-MACE DENNIS :: Abstract Overcoding Machines 2002 ::