@article{foster86-validating,
	title       = {Validating microcode algebraically},
	author      = {Foster, J. Michael},
	journal     = {The Computer Journal},
	volume      = {29},
	number      = {5},
	pages       = {416--422},
	year        = {1986},
	publisher   = {British Computer Society},
	note        = {Received {March}. 1985},
	doi         = {10.1093/comjnl/29.5.416},
	file        = {Foster86-validating.pdf},
}