@inproceedings{lee+07:mechanizing,
 author = {Daniel K. Lee and Karl Crary and Robert Harper},
 title = {Towards a mechanized metatheory of standard ML},
 booktitle = {POPL '07: Proceedings of the 34th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages},
 year = {2007},
 isbn = {1-59593-575-4},
 pages = {173--184},
 location = {Nice, France},
 doi = {http://doi.acm.org/10.1145/1190216.1190245},
 publisher = {ACM Press},
 address = {New York, NY, USA},
 }