Francisco Heron de Carvalho Junior, Luís Soares Barbosa: Programming Languages - 16th Brazilian Symposium, SBLP 2012, Natal, Brazil, September 23-28, 2012. Proceedings. Lecture Notes in Computer Science 7554, Springer 2012, ISBN 978-3-642-33181-7