@article{Rosser:1984, key = "Rosser 1984", author = "J. B. Rosser", title = "Highlights of the history of the lambda-calculus", journal = AHC, volume = 6, year = 1984, pages = "337-349"} @article{Kleene:1981, key = "Kleene 1981", author = "S. C. Kleene", title = "Origins of recursive function theory", journal = AHC, volume = 3, year = 1981, pages = "52-67"} @article{Campbell-Kelly:1980, key = "Campbell-Kelly 1980", author = "M. Campbell-Kelly", title = "Programming on the {Mark I}: early programming activity at the {University} of {Manchester}", journal = AHC, volume = 2, year = 1980, pages = "130-168"} @article{WilliamsF:1975, key = "F. Williams 1975", author = "F. C. Williams", title = "Early computers at {Manchester} {University}", journal = REE, volume = 45, year = 1975, pages = "327-331"} @article{deHeinzelin:1962, key = "de Heinzelin 1962", author = "Heinzelin, J. de", title = "Ishango", journal = SA, volume = 206, year = 1962, number = 6, month = "June", pages = "105-116"} @article{Brooks&Smith:1987, key = "Brooks and Smith 1987", author = "A. S. Brooks and C. C. Smith", title = "Ishango revisited: new age determinations and cultural interpretations", journal = "African Archaeological Review", volume = 5, year = 1987, pages = "65-78"} @article{Brooks.et.al:1995, key = "Brooks et al. 1995", author = "{Brooks et al.}, A. S.", title = "Dating and context of three middle stone age sites with bone points in the {Upper Semliki Valley, Zaire}", journal = "Science", volume = 268, year = 1995, pages = "548-553"}