A. F. . Milanez, Ataı́de I. N. S., e T. L. Massoni, “Investigating the Use of JML Contracts”, ECOP, vol. 2, nº 5, mar. 2022.