Theoretical aspects of computing – ictac 2010 : 7th international colloquium, Natal, Rio Grande do Norte, Brazil, September 1-3, 2010: proceedings / ed. A. Cavalcanti, 2010 r=on-line. - Текст : электронный.
Refinement techniques in software engineering / ed. A. Cavalcanti, 2006 r=on-line. - Текст : электронный.
FM 2009: formal methods : second world congress, Eindhoven, The Netherlands, November 2-6, 2009: proceedings / ed. A. Cavalcanti, 2009 r=on-line. - Текст : электронный.