Toward a semantics for the QUEST language Fabio Alessi and Franco Barbanera RAIRO-Theor. Inf. Appl., 28 6 (1994) 513-555 Published online: 01 February 2017 DOI: 10.1051/ita/1994280605131