ECOOP 2013 – Object-Oriented Programming 27th European Conference, Montpellier, France, July 1-5, 2013. Proceedings - Castagna, Giuseppe (Springer Berlin Heidelberg : Imprint: Springer, 2013)