Introducere in teoria limbajelor de programare (traducere din lb engleza Ed Springer)