Jirí Srba Roadmap of Infinite Results. 163-175 2002 78 Bulletin of the EATCS db/journals/eatcs/eatcs78.html#Srba02