Abstract Software Specifications by D. Bjorner | Menrva Books | MenrvaBooks