Toward a semantics for the QUEST languageFabio Alessi and Franco BarbaneraRAIRO-Theor. Inf. Appl., 28 6 (1994) 513-555DOI: https://doi.org/10.1051/ita/1994280605131
