Semantics engineering with PLT Redex by Felleisen, Matthias, Findler, Robert Bruce, Flatt, Matthew 0 Type: Book
Formal specification of programming languages: a panoramic primer by Pagan, Frank G. fromPrentice Hall software series 0 Type: Book
