Formal development of reactive systems by Claus Lewerentz | Menrva Books | MenrvaBooks