@article{ngpdbccdlrrvwwk-oopsla-2024,
  author={Tim Nelson and Ben Greenman and Siddhartha Prasad and Tristan Dyer and Ethan Bove and Qianfan Chen and Charles Cutting and Thomas Del Vecchio and Sidney LeVine and Julianne Rudner and Ben Ryjikov and Alexander Varga and Andrew Wagner and Luke West and Shriram Krishnamurthi},
  title = {{Forge}: A Tool and Language for Teaching Formal Methods},
  journal = {{PACMPL}},
  volume = {8},
  number = {{OOPSLA1}},
  pages = {1--31},
  doi = {10.1145/3649833},
  year={2024}
}