J.F. Morales, M. Carro, Manuel Hermenegildo. Description and Optimization of Abstract Machines in a Dialect of Prolog. Theory and Practice of Logic Programming, Vol. FirstView, pages 1–58, Cambridge University Press, January 2015.