@misc{9d3f8da9dccb490aaab45996ae3cbb6f,
title = "O Referee Perfeito",
abstract = "Convidar a Isabelle para. verificar as nossas contas pode ser uma maneira simp{\'a}tica de come{\c c}ar um longo dia de trabalho. Vamos descobrir, no entanto, um revisor implac{\'a}vel, capaz de encontrar a mais pequena falha de racioc{\'i}nio. E que n{\~a}o vai aceitar um convite para jantar no fim da jornada.",
keywords = "Teorema da Curva de Jordan , Euclides",
author = "Chalub, {F{\'a}bio Augusto da Costa Carvalho}",
year = "2009",
month = dec,
language = "Portuguese",
series = "Gazeta de Matem{\'a}tica",
publisher = "Sociedade Portuguesa de Matem{\'a}tica",
number = "159",
type = "Other",
}