Demasi, R. A., P. D. Ponzio, P. F. Castro, and G. A. Baum. “Verifying BON Models With Alloy”. Journal of Computer Science and Technology, vol. 5, no. 04, Dec. 2005, pp. p. 292-298, https://journal.info.unlp.edu.ar/JCST/article/view/850.