Description and Optimization of Abstract Machines in a Dialect of Prolog | Publicación