Chapter 1. Introduction
Notation
Instruction Set and Execution Time Model