Fifth IFIP International Conference on Theoretical Computer Science - TCS 2008 : IFIP 20th World Computer Congress, TC 1, Foundations of Computer Science, September 7-10, 2008, Milano, Italy - Giorgio Ausiello, Juhani Karhumäki, Giancarlo Mauri, Luke Ong ((IFIP Advances in Information and Communication Technology))