1. Aubury, M., Page, I., Randall, G., Saul, J., Watts, R.: Handel-C language examples. Technical report, Oxford University Computing Laboratory, August (1996)
2. Barrett, G.: Occam 3 reference manual. Inmos Ltd, March (1992)
3. Berghofer, S., Strecker, M.: Extracting a formally verified, fully executable compiler from a proof assistant. Electron. Notes Theor. Comput. Sci. 82(2) (2003)
4. Bowen J., He J., Page I.: Hardware Compilation, pp. 193–207. Elsevier, Amsterdam (1994)
5. Celoxica Ltd.: The Technology behind DK1, August 2002. Application Note AN 18 (2002)