Springer.-.Formal.Methods.for.Components.and.Objects.Dec.2011.Retail.Ebook-Ebookers