Series Electronic Proceedings in Theoretical Computer Science (EPTCS) ; 30