@Inproceedings{EPTCS21.6,
  author    = {Falconieri Freitas, Gabriel and Corn\'elio, M\'arcio and Massoni, Tiago and Gheyi, Rohit},
  year      = {2010},
  title     = {Object-oriented Programming Laws for Annotated Java Programs},
  editor    = {Mackie, Ian and Martins Moreira, Anamaria},
  booktitle = {{\rm Proceedings Tenth International Workshop on}
               Rule-Based Programming,
               {\rm Brasília, Brazil
, 28th June 2009}},
  series    = {Electronic Proceedings in Theoretical Computer Science},
  volume    = {21},
  publisher = {Open Publishing Association},
  pages     = {65-76},
  doi       = {10.4204/EPTCS.21.6},
}