1. Barendregt, H P., The Lambda Calculus: Its Syntax and Semantics, volume 103 of Studies in Logic and the Foundations of Mathematics, North-Holland, Amsterdam, 1984.
2. Bluespec, Inc., Bluespec System Verilog Version 3.8 Reference Guide, 2006.
3. Gomard, C. K. and Jones, N. D., “A partial evaluator for the untyped lambda-calculus,” Journal of Functional Programming, 1, 1, pp. 21-69, 1991.
4. IEEE Standards Board, IEEE Standard Hardware Description Language Based on the Verilog Hardware Description Language, Number 1364-1995 in IEEE Standards, IEEE, 1995.
5. IEEE Standards Board, IEEE Standard Verilog Hardware Description Language, Number 1364-2001 in IEEE Standards, IEEE, 2001.