Kazuhiro Ogata and Kokichi Futatsugi "Operational Semantics of Rewriting with the On-demand Evaluation Strategy"

[ACM] (2000) Proceedings of the 2000 ACM Symposium on Applied computing SAC'2000 Villa Olmo, Como, Italy  

Languages mentioned CafeObj {1997} OBJ for the CAFE Networked Environment