Subtyping Inheritance in Languages for Symbolic Computation Systems. - Paolo Di Blasio; Marco Temperini (DISCO, 1993)

Subtyping Inheritance and Its Application in Languages for Symbolic Computation Systems. - Paolo Di Blasio; Marco Temperini (J. Symb. Comput., 1995)

A Calculus for Concurrent Objects. - Paolo Di Blasio; Kathleen Fisher (CONCUR, 1996)

A Control-Flow Analysis for a Calculus of Concurrent Objects. - Paolo Di Blasio; Kathleen Fisher; Carolyn L. Talcott (IEEE Trans. Software Eng., 2000)