Ulisses Ferreira A Property for Church-Turing Thesis. 507-513 2004 conf/msv/2004 MSV/AMCS db/conf/msv/msv2004.html#Ferreira04