A formal HDL and its use (1992)

by Warren A Hunt, Bishop Brock
Venue:in the FM9001 verification. Proceedings of the Royal Society