Formal methods for components and objects by Marcello M. Bonsangue | Menrva Books | MenrvaBooks