Towards a Semantics for the QUEST Language

Fabio Alessi Franco Barbanera Towards a Semantics for the QUEST Language 12-21 conf/lics/LICS6 1991 LICS db/conf/lics/lics91.html#AlessiB91