Theoretical aspects of computer science advanced lectures (Springer, 2002)