Ditchev, Angel, Characterization of the structures which admit effective enumerations, 92-96, 1999,