@inproceedings{271851,
    Author = {Dickinson, A. and Pope, M.T.},
    BookTitle = {TENCON '92. ''Technology Enabling Tomorrow : Computers, Communications and Automation towards the 21st Century.' 1992 IEEE Region 10 International Conference.},
    File = {A simple machine [based on the SK-combinator reduction mechanism] - Dickinson, Pope (0) (0) - a - a - h.pdf},
    Keywords = {lambda calculus and combinatory logic},
    Month = {nov},
    Pages = {845 -849 vol.2},
    Title = {A simple machine [based on the SK-combinator reduction mechanism]},
    Year = {1992},
    bdsk-url-1 = {http://dx.doi.org/10.1109/TENCON.1992.271851},
    date-added = {2012-09-28 10:53:12 +0000},
    date-modified = {2012-09-28 15:15:23 +0000},
    doi = {10.1109/TENCON.1992.271851}
}

@inproceedings{271851, Author = {Dickinson, A. and Pope, M.T.}, BookTitle = {TENCON '92. ''Technology Enabling Tomorrow : Computers, Communications and Automation towards the 21st Century.' 1992 IEEE Region 10 International Conference.}, File = {A simple machine [based on the SK-combinator reduction mechanism] - Dickinson, Pope (0) (0) - a - a - h.pdf}, Keywords = {lambda calculus and combinatory logic}, Month = {nov}, Pages = {845 -849 vol.2}, Title = {A simple machine [based on the SK-combinator reduction mechanism]}, Year = {1992}, bdsk-url-1 = {http://dx.doi.org/10.1109/TENCON.1992.271851}, date-added = {2012-09-28 10:53:12 +0000}, date-modified = {2012-09-28 15:15:23 +0000}, doi = {10.1109/TENCON.1992.271851} }