Gilberto Filé Giuseppe Nardiello Adriano Tirabosco An Operational Semantics for CHIP. 633-648 1993 conf/agp/1993 GULP db/conf/agp/gulp1993.html#FileNT93