Brock, Bishop C. and Hunt, Warren A., Jr., A Formal HDL and its use in the FM9001 verification, in Proceedings of the Royal Society, 1992.

Languages mentioned

• Brock-Hunt HDL {1992}