Alvim, D. M. O Que é Um Contradispositivo?. CS 2018, 78-85.