@article {IOPORT.50310449,
    author       = {Honda, Kohei},
    title        = {Semantics study and reality of computing},
    year         = {1999},
    journal      = {ACM Comput. Surv.},
    volume       = {31},
    number       = {3es},
    pages        = {14},
    doi          = {10.1145/333580.333593},
    identifier   = {50310449},
}