redex-aam-tutorial (racket): A brief introduction to the Redex  and Abstracting Abstract Machines.
Keywords: redex