Mathematical foundations of computer science 2002: proceedings - Rytter, Wojciech (Springer, 2002)