@ARTICLE{BCDGV11,
  title = {{Deriving Session and Union Types for Objects}},
  author = {Bettini, Lorenzo and Capecchi, Sara and Dezani-Ciancaglini, Mariangiola and Giachino, Elena and Venneri, Betti},
  journal = {Mathematical Structures in Computer Science},
  pages = {1163-1219},
  volume = {23},
  number = {6},
  year = {2013},
  url = {http://www.di.unito.it/~capecchi/bcdgv.pdf},
  url = {http://journals.cambridge.org/action/displayAbstract?fromPage=online&aid=9053926&fileId=S0960129512000886},
  publisher = {Cambridge University Press},
}