Anthony C. J. Fox, Neal A. Harman. Algebraic Models of Correctness for Microprocessors. Formal Asp. Comput., 12(4):298-312, 2000. [doi]
@article{FoxH00,
title = {Algebraic Models of Correctness for Microprocessors},
author = {Anthony C. J. Fox and Neal A. Harman},
year = {2000},
url = {http://link.springer.de/link/service/journals/00165/bibs/0012004/00120298.htm},
tags = {meta-model, C++, algebra, Meta-Environment},
researchr = {https://researchr.org/publication/FoxH00},
cites = {0},
citedby = {0},
journal = {Formal Asp. Comput.},
volume = {12},
number = {4},
pages = {298-312},
}