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