Nachum Dershowitz. Rewriting systems. Handbook of Thioretical Computer Science, Volume B : Formal Methods and Semantics. 1990, 243-320
FUTATSUGI, Kokichi. Trends in Formal Specification Methods based on Algebraic Specification Techniques -from Abstract Data Types to Software Processes : A Personal Perspective-. Proceedings of the International Conference of Information Technology to Commemorating the 30th Anniversary of the Information P. 1990, 59-66