The euclid abstract machine: Trisection of the angle and the halting problem - Coelho, Francisco; Costa, José Félix; Mycka, Jerzy (2006)