A Presentation of the Specification and Verification Project "ABEL.". by O.-J. Dahl | Menrva Books | MenrvaBooks