An Introduction to Redex with Abstracting Abstract Machines
This tutorial is available online at:
Copyright © 2014 David Van Horn
Licensed under the Academic Free License version 3.0