Engineering Theories of Software Construction... Engineering Theories of Software Construction (Nato Science Series. Series III, Computer and Systems Sciences, 180) 9781586031725