Operational semantics of rewriting with the on-demand evaluation strategy, in (2000)

by K Ogata, K Futatsugi
Venue:Proc. of 2000 International Symposium on Applied Computing, SAC’00, ACM