Integration of software specification techniques for applications in engineering by Hartmut Ehrig | Menrva Books | MenrvaBooks