1. Design and verification of a highly concurrent machine;Barrie;Microprocessors and Microsystems,1992
2. Behavioural language compilation with virtual hardware management;Diessel,2000
3. A hardware compiler realising concurrent processes in reconfigurable logic;Diessel;IEE Proceedings - Computers and Digital Techniques,2001
4. Hoare, C., Hints on programming language design, Technical Report STAN-CS-73-403, Standford Artificial Intelligence Laboratory, Stanford University, Stanford (1973)
5. Programming paradigms for reconfigurable computing;Lee;Microprocessors and Microsystems,2005