Bem, como o GUJ é disparado o maior sender de visitantes para o meu blog, venho informar alterações neste artigo e a publicação deste.
Achei que o conceito de invariantes estava meio vago (e até, conceitualmente, não tão correto - olha que teve revisão =) ) e achei necessário cobrir as pré e pós-condições e interfaces, criando um post abordando Design por Contrato. Este post não estava nos meus planos, mas, relendo o blog, achei oportuna a sua inclusão.
Espero que gostem. E se não gostarem, podem criticar…