"Formal modelling and transformations of processor instruction sets."

Andrey Mokhov et al. (2011)
a service of Schloss Dagstuhl - Leibniz Center for Informatics