1. Lect Notes Comput Sci;ásgeir Th. Th. Eiriksson,1995
2. ásgeir Th. Eiríksson, “Integrating Formal Verification Methods with A Conventional Project Design Flow”, 33rd Design Automation Conference, Las Vegas NV, 1996, pp. 666–671.
3. ásgeir Th. Eiríksson, John Keen, Alex Silbey, Swami Venkataramam, Michael Woodacre, “Origin System Design Methodology and Experience: 1M-gate ASICs and Beyond”, Proceedings of the Compcon Conference, San Jose, 1997.
4. Jim Laudon, and Dan Lenoski, “System Overview of the Origin 200/2000 Product Line”, Proceedings of the Compcon Conference, San Jose, 1997.
5. Jim Laudon, and Dan Lenoski, “The SGI Origin: A ccNUMA Highly Scalable Server”, Proceedings from the International Symposium on Computer Architecture (ISCA), Denver, Colorado, 1997