Eric A. Brewer
Proteus
From
instruction-set simulation and tracing
