0day / 2012-05 / Springer.-.The.Correctness.by.Construction.Approach.to.Programming.Apr.2012.Proper.Retail.Ebook-Ebookers, 2,64 MB