Bibliography of Research/PCVIA project in bibtex reference style

@InProceedings{VH01,
  author =     {M. J. Varanda and P. Henriques},
  title =     {Visualization / Animation of Programs based on Abstract Representations and Formal Mappings},
  booktitle =     {HCC'01 - 2001 IEEE Symposia on Human-Centric Computing Languages and Environments},
  OPTcrossref =  {},
  OPTkey =     {},
  OPTpages =     {},
  year =     {2001},
  editor =     {IEEE},
  OPTvolume =     {},
  OPTnumber =     {},
  OPTseries =     {},
  OPTaddress =     {},
  month =     {September},
  OPTorganization = {},
  OPTpublisher = {},
  OPTnote =     {},
  OPTannote =     {}
}

@InProceedings{VH02,
  author =     {P. Henriques and M. J. Varanda and M. Mernik and M. Lenic},
  title =     {Automatic Generation of Language-based Tools},
  booktitle =     {LDTA - Workshop on Language, Descriptions, Tools and Applications (ETAPS'02)},
  OPTcrossref =  {},
  OPTkey =     {},
  OPTpages =     {},
  year =     {2002},
  editor =     {},
  OPTvolume =     {},
  OPTnumber =     {},
  OPTseries =     {},
  OPTaddress =     {},
  month =     {April},
  OPTorganization = {},
  OPTpublisher = {},
  OPTnote =     {},
  OPTannote =     {}
}

@InProceedings{VH03,
  author =     {M. J. Varanda and P. Henriques},
  title =     {Visualization / Animation of Programs in Alma: obtaining different results},
  booktitle =     {VMSE2003 - Symposium on Visual and Multimedia Software Engineering (HCC'03), New Zealand},
  OPTcrossref =  {},
  OPTkey =     {},
  OPTpages =     {},
  year =     {2003},
  editor =     {},
  month =     {October},
}