Oliveira JN.? 2009.??Extended Static Checking by Calculation using the Pointfree Transform. LerNet ALFA Summer School. 5520:195?251.