“…The refinement of the SQs and the indications of the three expert authors allowed the identification of the following works to ensure that main approaches to formalize specification languages for contracts were included [7,39,53,72,99], legal ontologies [6,48,54], and reviews [27,77]. Concerning the proceedings of recent conferences, the works in [2,5,40,80,82,87,89,90] have been included. The outcome of applying SQs for all six RQs and the refinement process led to the identification of a total of 447 publications.…”