@article{Iwama:1983:UPU:2697751.2698045,
    Address = {Secaucus, NJ, USA},
    Author = {Iwama, Kazuo},
    File = {The Universe Problem for Unrestricted Flow Languages - Iwama (0) (0) - a - a - f.pdf},
    ISSN = {0001-5903},
    Journal = {Acta Inf.},
    Month = {April},
    Number = {1},
    Pages = {85--96},
    Publisher = {Springer-Verlag New York, Inc.},
    Title = {The Universe Problem for Unrestricted Flow Languages},
    URL = {http://dx.doi.org/10.1007/BF00263929},
    Volume = {19},
    Year = {1983},
    acmid = {2698045},
    bdsk-url-1 = {http://dx.doi.org/10.1007/BF00263929},
    date-added = {2017-01-12 10:55:37 +0000},
    date-modified = {2017-01-12 10:55:37 +0000},
    issue_date = {April 1983},
    numpages = {12},
    doi = {10.1007/BF00263929}
}

@article{Iwama:1983:UPU:2697751.2698045, Address = {Secaucus, NJ, USA}, Author = {Iwama, Kazuo}, File = {The Universe Problem for Unrestricted Flow Languages - Iwama (0) (0) - a - a - f.pdf}, ISSN = {0001-5903}, Journal = {Acta Inf.}, Month = {April}, Number = {1}, Pages = {85--96}, Publisher = {Springer-Verlag New York, Inc.}, Title = {The Universe Problem for Unrestricted Flow Languages}, URL = {http://dx.doi.org/10.1007/BF00263929}, Volume = {19}, Year = {1983}, acmid = {2698045}, bdsk-url-1 = {http://dx.doi.org/10.1007/BF00263929}, date-added = {2017-01-12 10:55:37 +0000}, date-modified = {2017-01-12 10:55:37 +0000}, issue_date = {April 1983}, numpages = {12}, doi = {10.1007/BF00263929} }