Preliminary Specification of Services and Protocols - Nuno Neves; Paulo Verissimo (2008)