The formalization of a simple hardware description language (1989)

by Bishop C Brock, Warren A Hunt
Venue:Applied Formal Methods For Correct VLSI Design