Ulisses Ferreira On the Busy-Beaver Problem. 514-518 2004 conf/msv/2004 MSV/AMCS db/conf/msv/msv2004.html#Ferreira04a