Adolfo Neto, 20 Dec 2013 Um dos artigos mais interessantes que li nos últimos anos. Preciso relê-lo. Formalization and Implementation... Um dos artigos…