David M. Russinoff, "A Formal Language for the Specification and Verification of Synchronous and Asynchronous Circuits", NASA CR-191509, September 1993.

Languages mentioned

• Brock-Hunt HDL {1992}
• Rusinoff HDL {1993}