Programs, proofs, processes : 6th Conference on computability in Europe, CiE 2010, Ponta Delgada, Azores, Portugal, June 30 – July 4, 2010: proceedings / ed. F. Ferreira [et al.], 2010 r=on-line. - Текст : электронный.
Pinto A.A. Fine structures of hyperbolic diffeomorphisms / A. A. Pinto, D. A. Rand, F. Ferreira, 2009 r=on-line. - Текст : электронный.