@inproceedings{Emi2007,
Author = {Emir, Burak and Ma, Qin and Odersky, Martin},
Title = {Translation Correctness for First-Order Object-Oriented Pattern Matching},

Year = {2007},
Month = {01},
Booktitle = {The Fifth ASIAN Symposium on Programming Languages and Systems (APLAS 2007)},
type = {inproceedings}
}
@COMMENT{Bibtex file generated on }