Toward a semantics for the QUEST language Fabio Alessi; Franco Barbanera — 1994 RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications