Cache Coherence Verification with TLA+.

Published in: World Congress on Formal Methods (1999)