Introduzindo o ethspecs: uma interface que simplifica a utilização ...