Wirsing, Martin2019-04-232024-07-022019-04-232024-07-022011978-3-642-20400-5https://drs.ess.gov.et/handle/123456789/64291enResults of the SENSORIA Projecton Software Engineeringfor Service-Oriented ComputingRigorous SoftwareEngineeringfor Service-OrientedSystemsBook