Loading Ebook: Specification And Verification Of Object-Oriented Software Components 2011