1
Formal Methods for Software Engineering [E-Book] : Languages, Methods, Application Domains /
2
Models of Computation [E-Book] /
...Texts in Theoretical Computer Science. An EATCS Series...

Full text 
3
Grammatical Picture Generation [E-Book] : A Tree-Based Approach /
...Texts in Theoretical Computer Science. An EATCS Series...

Full text