Gilberto Filé, Giuseppe Nardiello, Adriano Tirabosco: An Operational Semantics for CHIP. GULP 1993: 633-648