Foundations of software technology and theoretical computer science - Thiagarajan, Pazhamaneri S. (Lecture notes in computer science, 1995)