Compiler Design C Language Programming Software Development Engineering Textbook

Formal Methods for Software Engineering: Languages, Methods, Application Domains

Software Languages: Syntax, Semantics, and Metaprogramming - L?mmel, Ralf

Polyglot: How I Learn Languages, New, Kato Lomb

Specifying Systems: The TLA+ Language and Tools for Hardware and Software En...

Pattern Languages of Program Design Vol 1 and 2 OOp Software Design Paperback

Foundations of Object-Oriented Languages: Types and Semantics

Software Engineering 2 - Specification of Systems & Languages ~ Dines Bjorner