" Trends, Techniques, and Problems in Theoretical Computer Science : " edited by Alica Kelemenová, Jozef Kelemen.