Customizable composition operators for Java-like classes. Lagorio, G., Servetto, M., & Zucca, E. In Cherubini, A., Coppo, M., & Persiano, G., editors, Theoretical Computer Science, 11th Italian Conference, ICTCS 2009, Cremona, Italy, September 28-30, 2009, Proceedings, pages 136–142, 2009.
bibtex   
@inproceedings{DBLP:conf/ictcs/LagorioSZ09,
  author       = {Giovanni Lagorio and
                  Marco Servetto and
                  Elena Zucca},
  editor       = {Alessandra Cherubini and
                  Mario Coppo and
                  Giuseppe Persiano},
  title        = {Customizable composition operators for Java-like classes},
  booktitle    = {Theoretical Computer Science, 11th Italian Conference, {ICTCS} 2009,
                  Cremona, Italy, September 28-30, 2009, Proceedings},
  pages        = {136--142},
  year         = {2009},
  timestamp    = {Fri, 18 Nov 2011 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ictcs/LagorioSZ09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

Downloads: 0