@article {IOPORT.05394491,
    author       = {Wright, Andrew K.},
    title        = {On sapphire and type-safe languages.},
    year         = {2003},
    journal      = {Communications of the ACM},
    volume       = {46},
    number       = {4},
    issn         = {0001-0782},
    pages        = {120},
    publisher    = {Association for Computing Machinery, Inc. (ACM), New York, NY},
    doi          = {10.1145/641205.641237},
    identifier   = {05394491},
}