@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},
  note = {To appear},
  year = {2012},
  url = {http://www.di.unito.it/~capecchi/bcdgv.pdf},
  publisher = {Cambridge University Press},
}