Thomas, W., & Alexander, P. (2026). Engineering Certified JSON Derivers for Rocq with ELPI. In RocqShop (TPHOL Workshop). (Original work published July 2026)