Formal systems specification by M. Broy | Menrva Books | MenrvaBooks