A Mechanically Checked Proof of a Multiprocessor Result via a Uniprocessor View.

J. Strother Moore A Mechanically Checked Proof of a Multiprocessor Result via a Uniprocessor View. 213-228 1999 14 Formal Methods in System Design 2 db/journals/fmsd/fmsd14.html#Moore99