J. M. Foster. Validating Microcode Algebraically. Comput. J., 29(5):416-422, 1986.
@article{Foster86,
title = {Validating Microcode Algebraically},
author = {J. M. Foster},
year = {1986},
tags = { algebra},
researchr = {https://researchr.org/publication/Foster86},
cites = {0},
citedby = {0},
journal = {Comput. J.},
volume = {29},
number = {5},
pages = {416-422},
}