Kuchen - Programming Languages Implementations Logics and Programs - X555z

Hermenegildo - Programming Languages Implementations Logics and Prog - X555z

Programming Languages: Design and Implementation

Programming Languages : Implementations, Logics, and Programs : 9th Internati...

Bakker - Automata Languages and Programming Seventh Colloquium Noo - X555z

Williams - Design and Implementation of Programming Languages Procee - X555z

Jouannaud - Functional Programming Languages and Computer Architecture - X555z

Mathematicsal Logic And Programming Languages, C.A.R. Prentice-Hall, 1985