New Directions in Rewriting (Honoring the 60th Birthday of Yoshihito Toyama)

Takahito Aoto and Aart Middeldorp (eds.)
special issue, Theoretical Computer Science 464, pages 1 – 130