Theoretical Aspects Of Computing - Ictac 2005 by D.V. Hung