@inproceedings{Ong:1988:FAM:1398513.1398632,
    Address = {Washington, DC, USA},
    Author = {Ong, C.-H. L.},
    BookTitle = {Proceedings of the 29th Annual Symposium on Foundations of Computer Science},
    ISBN = {0-8186-0877-3},
    Keywords = {no pdf},
    Pages = {368--376},
    Publisher = {IEEE Computer Society},
    Series = {SFCS '88},
    Title = {Fully abstract models of the lazy lambda calculus},
    URL = {http://dx.doi.org/10.1109/SFCS.1988.21953},
    Year = {1988},
    acmid = {1398632},
    bdsk-url-1 = {http://dx.doi.org/10.1109/SFCS.1988.21953},
    date-added = {2013-05-18 08:41:32 +0000},
    date-modified = {2013-05-18 08:41:48 +0000},
    numpages = {9},
    doi = {10.1109/SFCS.1988.21953}
}

@inproceedings{Ong:1988:FAM:1398513.1398632, Address = {Washington, DC, USA}, Author = {Ong, C.-H. L.}, BookTitle = {Proceedings of the 29th Annual Symposium on Foundations of Computer Science}, ISBN = {0-8186-0877-3}, Keywords = {no pdf}, Pages = {368--376}, Publisher = {IEEE Computer Society}, Series = {SFCS '88}, Title = {Fully abstract models of the lazy lambda calculus}, URL = {http://dx.doi.org/10.1109/SFCS.1988.21953}, Year = {1988}, acmid = {1398632}, bdsk-url-1 = {http://dx.doi.org/10.1109/SFCS.1988.21953}, date-added = {2013-05-18 08:41:32 +0000}, date-modified = {2013-05-18 08:41:48 +0000}, numpages = {9}, doi = {10.1109/SFCS.1988.21953} }