Cousineau, Curien, Mauny, 1987. The categorical abstract machine.. https://doi.org/10.1016/0167-6423(87)90020-7