Muroyaand Ghica. Efficient Implementation of Evaluation Strategies via Token-guided Graph Rewriting. Open Publishing Association, Feb. 2018, doi:10.4204/eptcs.265.5.