Verification of Sequential and Concurrent Programs (Texts in Computer Science)