Deontics and Time in Contracts: An Executable Semantics for the L4 DSL. - Seng Joe Watt; Oliver R. Goodenough; Meng Weng Wong (JURIX, 2023)

Verification of the CVM algorithm with a New Recursive Analysis Technique. - Emin Karayel; Derek Khu; Kuldeep S. Meel; Yong Kiam Tan; Seng Joe Watt (Arch. Formal Proofs, 2025)