1. Back, R., Sere, K.: From Action Systems to Modular Systems. Software — Concepts and Tools 17, 26–39 (1996)
2. Back, R., von Wright, J.: Refinement Calculus: A Systematic Introduction. Springer, Heidelberg (1998)
3. Bakoglu, H.: Circuits, Interconnections, and Packaging for VLSI. Addison-Wesley, Reading (1990)
4. Dally, W., Poulton, J.: Digital System Engineering. Cambridge University Press, Cambridge (1998)
5. Prentice Hall Series in Automatic Computation;E. Dijkstra,1976