Nambiar, Kannan (2001) Foundations of Computer Science. [Preprint]