Barbosa LS, de Junior FHC.? 2014.??Selected and Extended Papers of the Brazilian Symposium on Programming Languages 2012. Science of Computer Programming. 96:175-176.