1. M.R. Barbacci, T. Uehara, guest editors, IEEE Computer (special issue on hardware description languages), Vol 18, No 12 (February 1985)
2. H.P. Barendregt, The lambda calculus: its syntax and semantics. (revised edition). North-Holland, Amsterdam (1985)
3. R.T. Boute, “System semantics and formal circuit description”. IEEE Trans. on Circuits and Systems CAS-33, pp. 1219–1231 (Dec. 1986)
4. R.T. Boute, “System semantics: principles, applications and implementation”. ACM Trans. Prog. Lang. and Syst. 10, l,pp. 118–155 (Jan. 1988)
5. R.T. Boute, “On the shortcomings of the axiomatic approach as presently used in Computer Science”. Proc IEEE COMPEURO 88 -Systems design: concepts, methods and tools, pp. 184–193 (April 1988)