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