Alberto PardoBooksLATIN 2014 : Theoretical InformaticsSoftware Engineering and Formal MethodsAuthor data: Open Library