Lecture notes in computer science - Goos, G.; Hartmanis, J.; Leeuwen, Jan van