Programming Languages 17th Brazilian Symposium, SBLP 2013, Brasília, Brazil, October 3 - 4, 2013. Proceedings - Bois, André Rauber. (Springer Berlin Heidelberg,)