Formal aspects of component software (FACS 2011 selected & extended papers) - Arbab, Farhad 1952- (Science of computer programming, 2014)