Recent trends in algebraic development techniques / SpringerLink (Online service), 2005 r=on-line. - Текст : электронный.
Recent trends in algebraic development techniques : 18th International Workshop, WADT 2006, La Roche en Ardenne, Belgium, June 1-3, 2006: revised selected papers / ed. J. Fiadeiro, 2007 r=on-line. - Текст : электронный.
Fiadeiro J. Categories for software engineering / J. Fiadeiro, 2005 r=on-line. - Текст : электронный.
Algebra and coalgebra in computer science : first international conference, CALCO 2005, Swansea, UK, September 3-6, 2005: proceedings / SpringerLink (Online service), 2005 r=on-line. - Текст : электронный.