%0 Book %A Krzysztof Diks and Wojciech Rytter (eds.). %T Mathematical foundations of computer science 2003 : %U /book/90100401/Mathematical-foundations-of-computer-science-2003/