Corradini A. complete calculus for equational deduction in coalgebraic specification / A.Corradini, 1997. - 24 p. - Текст : непосредственный.
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. - Текст : электронный.
Graph transformations : third international conference, ICGT 2006, Natal, Rio Grande do Norte, Brazil, September 17-23, 2006: proceedings / SpringerLink (Online service), 2006 r=on-line