Trustworthy Global Computing - MartÃn Abadi, Alberto Lluch Lafuente; Abadi, Martín; Lluch Lafuente, Alberto (Springer International Publishing, 2014)