Hepburn, M (2006) Integrity Analysis and Coercion in Distributed Systems. PhD thesis, University of Tasmania.