Embedding Flexible Control Strategies into Object Oriented Languages. - Sabina Bonamico; Gianna Cioni (AAECC, 1988)

An Enhanced Sequent Calculus for Reasoning in a Given Domain. - Sabina Bonamico; Gianna Cioni; Attilio Colagrossi (DISCO, 1993)