A formal specification of the PowerPC shared memory architecture (1994)

by Francisco Corella, Janice M Stone, Charles Barton