@INPROCEEDINGS{pace:fth1998,
	AUTHOR      = {Gordon J. Pace and Jifeng He},
	BOOKTITLE   = {Proceedings of the Workshop on Formal Techniques in Hardware and Hardware-like Systems, Marstrand, Sweden},
	MONTH       = jun,
	TITLE       = {Formal Reasoning with {V}erilog {HDL}},
	YEAR        = {1998}
}