Formal Methods for Software Engineering Languages, Methods, Application Domains - Roggenbach, Markus. (Springer International Publishing,)