CONTENIDO:
2. Structure of a simple machine
3. The class manager's assistant
4. Deferred sets and non-determinism
5. Constructing large machines
6. More substitutions for machines
7. Software design
8. Implementations
9. API-layer machines and their implementations
10. Refinements
Appendix A: Review of discrete mathematics
Appendix B: Summary tables
Appendix C: Library machines
Sample solutions to selected exercises
Index of abstract machines
Bibliografía
Glosario
