Specification and verification of object oriented software components by Andreas Roth | Menrva Books | MenrvaBooks