Chapter 1 Abstract Machines