1. Lecture Notes in Computer Science;M.D. Aagaard,2002
2. Aagaard, M.D., Cook, B., Day, N.A., Jones, R.B.: A Framework for Superscalar Microprocessor Correctness Statements. Software Tools for Technology Transfer (STTT) 4(3), 298–312 (2003)
3. Ackermann, W.: Solvable Cases of the Decision Problem. North-Holland, Amsterdam (1954)
4. Anglia, STMicroelectronics Adds DSP to Reconfigurable-Processor SoC for Wireless Infrastructure Applications (March 2006),
http://www.anglia.com/newsarchive/904.asp?article_id=1750
5. Asia and South Pacific Design Automation Conference (ASP-DAC 2009), Panel Discussion: Near-Future SoC Architectures—Can Dynamically Reconfigurable Processors be a Key Technology? (January 2009)