@inproceedings{pace:fmcad2000,
	TITLE     = {The Semantics of Verilog Using Transition System Combinators},
	AUTHOR    = {G. J. Pace},
	BOOKTITLE = {Formal Methods for Computer-Aided-Design, FMCAD 2000, Austin, Texas},
	PUBLISHER = {LNCS 1954},
	MONTH     = nov,
	YEAR      = 2000
}