Software Engineering vol. 2 Specification of Systems and Languages [electronic resource]
Dines Bjorner
- Berlin, Heidelberg Springer-Verlag Berlin Heidelberg 2006
- vol. 1-3 ill., digital 24 cm vol 1: 777 p.
- Texts in Theoretical Computer Science An EATCS Series. .