Demasi, Ramiro Adrián, Pablo Daniel Ponzio, Pablo Francisco Castro, and Gabriel Alfredo Baum. “Verifying BON Models With Alloy”. Journal of Computer Science and Technology 5, no. 04 (December 1, 2005): p. 292–298. Accessed June 7, 2023. https://journal.info.unlp.edu.ar/JCST/article/view/850.