M. R. Manzini (1990). New formalizations for locality theory.