Formal methods for components and objects by Frank S. de Boer | Menrva Books | MenrvaBooks