@misc {IOPORT.70146497,
    author       = {Lawall, Julia L. and Thiemann, Peter},
    title        = {Sound specialization in the presence of computational effects},
    howpublished = {TACS, 165-190 (1997).},
    year         = {1997},
    doi          = {10.1007/BFb0014551},
    identifier   = {70146497},
}