De Nicola R. Back and forth bisimulations / R.De Nicola,U.Montanari,F.W.Vaandrager, 1990. - 14 p. - Текст : непосредственный.
Trustworthy global computing : second symposium, TGC 2006, Lucca, Italy, November 7-9, 2006: revised selected papers / ed. U. Montanari, 2007 r=on-line. - Текст : электронный.
Recent trends in algebraic development techniques : 19th International workshop, WADT 2008, Pisa, Italy, June 13-16, 2008: rev. sel. papers / SpringerLink (Online service), 2009 r=on-line. - Текст : электронный.