WasmRef-Isabelle: A Verified Monadic Interpreter and Industrial Fuzzing Oracle for WebAssembly. - Conrad Watt; Maja Trela; Peter Lammich; Florian Märkl (Proc. ACM Program. Lang., 2023)