Negations and contrapositions of complete lattices. - K. Deiters; Marcel Erné (Discret. Math., 1998)