The Foundations of Program Verification - Kurt Sieber - E-bok | Bokus