Elementary Microarchitecture Algebra.

John Matthews, John Launchbury

Browse the full CAV paper archive.