Conrad Watt: Mechanising and verifying the WebAssembly specification. CPP 2018: 53-65