Antoni W. Mazurkiewicz Locally Computable Enumerations. 51-66 1997 conf/fct/1997 FCT db/conf/fct/fct97.html#Mazurkiewicz97