The B-Book: Examples of Abstract Machines