Structured Contracts in the EUTxO Ledger Model. - Polina Vinogradova; Orestis Melkonian; Philip Wadler; Manuel M. T. Chakravarty; Jacco Krijnen; Michael Peyton Jones; James Chapman 001; Tudor Ferariu (FMBC@CAV, 2024)

Validity, Liquidity, and Fidelity: Formal Verification for Smart Contracts in Cardano. - Tudor Ferariu; Philip Wadler; Orestis Melkonian (FMBC, 2025)

tferariu/agda2plinth. - Tudor Ferariu; Philip Wadler; Orestis Melkonian (DROPS Artifacts, 2025)