Diagrams: Tropes, Tools, Abstract Machines
Description of the book