Spezifizierung Offener Verteilter Systeme aus Sicht des ODP computational viewpointFrank KochAgotado4,3Notifícame