1. Lee, G., Milne, G.: A methodology for design of run-time reconfigurable systems. In: Proceedings IEEE International Conference on Field-Programmable Technology, CUHK, Hong Kong, pp. 60–67. IEEE Computer Society Press, Los Alamitos (2002)
2. Lecture Notes in Computer Science;S.A. Guccione,1999
3. Jones, R., Lins, R.: Garbage Collection – Algorithms for Automatic Dynamic Memory Management. John Wiley & Sons, Chichester (1996)
4. Milne, G.J.: CIRCAL and the representation of communication, concurrency, and time. ACM Transactions on Programming Languages and Systems 7, 270–298 (1985)
5. Bjesse, P., Claessen, K., Sheeran, M., Singh, S.: Lava: Hardware design in Haskell. ACM SIGPLAN Notices 34, 174–184 (1999)