Pîrlea, G;    Sergey, I;      (2018)    Mechanising blockchain consensus.                     In: Andronick, J and Felty, A, (eds.) CPP 2018: Proceedings of the 7th ACM SIGPLAN International Conference on Certified Programs and Proofs.  (pp. pp. 78-90).  Association for Computing Machinery (ACM): New York, NY, USA.       Green open access