@InProceedings{DGV:FMOODS13,
  author    =   {O. Dardha and D. Gorla and D. Varacca},
  title     =   {Semantic Subtyping for Objects and Classes},
  editor    =   {Dirk Beyer and Michele Boreale},
  booktitle =   {Proc. of International Conference on Formal Techniques for Distributed Systems (FMOODS/FORTE 2013)},
  series    =   {LNCS},
  volume    = 	{7892},
  pages     =  	{66--82},
  year      =  	{2013},
  publisher =   {Springer},
}