ECOOP 2013 -- Object-Oriented Programming : 27th European Conference, Montpellier, France, July 1-5, 2013, Proceedings - Giuseppe Castagna ((Lecture Notes in Computer Science))