@article{interviewHennessyPatterson,
author = {Charlene O'Hanlon},
title = {A conversation with John Hennessy and David Patterson},
journal = {Queue},
volume = {4},
number = {10},
year = {2006},
month = dec,
issn = {1542-7730},
pages = {14--22},
url = {http://doi.acm.org/10.1145/1189276.1189286},
doi = {10.1145/1189276.1189286},
publisher = {ACM Press},
address = {New York, NY, USA},
}
@article{cnet80cores,
author = "Tom Krazit",
title = "Intel pledges 80 cores in five years",
journal = "News.COM"
year = 2006,
month = sep,
publisher = "CNET Networks",
url = "http://news.com.com/2102-1006_3-6119618.html?tag=st.util.print",
}
@article{FloydTuring,
author = "Robert W. Floyd",
title = "The paradigms of programming",
journal = cacm,
issn = {0001-0782},
publisher = "ACM Press",
address = "New York",
volume = {22},
number = {8},
month = aug,
year = {1979},
pages = "455--460",
url = "http://doi.acm.org/10.1145/359138.359140",
}
@article{PerlisLipDeM,
author = "Richard A. De{M}illo and Richard J. Lipton and Alan J. Perlis",
title = "Social processes and proofs of theorems and programs",
journal = cacm,
issn = {0001-0782},
publisher = "ACM Press",
address = "New York",
volume = 22,
number = 5,
month = may,
year = 1979,
pages = "271--280",
URL = "http://doi.acm.org/10.1145/359104.359106",
doi = "10.1145/359104.359106",
}
@article{PerlisLipDeMlett,
author = "Robert L. Ashenhurst",
title = "Comments on Social Processes and Proofs",
journal = cacm,
issn = {0001-0782},
publisher = "ACM Press",
address = "New York",
volume = 22,
number = 11,
month = nov,
year = 1979,
pages = "621--630",
url = "http://doi.acm.org/10.1145/359168.359177",
doi = "10.1145/359168.359177",
}