@misc {IOPORT.70118489,
    author       = {Felty, Amy P. and Howe, Douglas J. and Roychoudhury, Abhik},
    title        = {Formal metatheory using implicit syntax, and an application to data abstraction for asynchronous systems},
    howpublished = {CADE, 237-251 (1999).},
    year         = {1999},
    doi          = {10.1007/3-540-48660-7_21},
    identifier   = {70118489},
}