Schett, Maria A;      (2021)    Cost Reduction With Guarantees: Formal Reasoning Applied To Blockchain Technologies.                   Doctoral thesis  (Ph.D), UCL (University College London).     Green open access