1. Multivalue Logic System for VHDL Model Interoperability (Std_logic_1164). IEEE Standard 1164-1993 (1993)
2. Standard SystemC Language Reference Manual (LRM). IEEE Standard 1666-2005 (2005)
3. Breuer, P.T., Fernández, L.S., Kloos, C.D.: Proof theory and a validation condition generator for VHDL. In: Euro-VHDL ’94, pp. 512–517 (1994)
4. Butterfield, A.: Denotational semantics for prialt-free Handel-C. Technical report, The University of Dublin, Trinity College (December 2001)
5. Butterfield, A., Woodcock, J.: Semantic domains for Handel-C. Electronic Notes in Theoretical Computer Science, vol. 74 (2002)