References

1

Baader, F. and Nipkow, T.: Term Rewriting and All That. Cambridge University Press. 1998

2

CafeOBJ home page: http://caraway.jaist.ac.jp/cafeobj

3

Clavel, M., Eker, S., Lincoln, P. and Meseguer, J.: Principles of Maude. Proc. of the First Int'l. Workshop on Rewriting Logic and its Applications. ENTCS 4 Elsevier. (1996) 65--89

4

Futatsugi, K., Goguen, J.A., Jouannaud, J.P. and Meseguer, J.: Principles of OBJ2. Conf. Record of the Twelfth Annual ACM Sympo. on Princ. of Prog. Lang. (1985) 52--66

5

GAEA home page: http://cape.etl.go.jp/gaea

6

Goguen, J.A., Winkler, T., Meseguer, J., Futatsugi, K. and Jouannaud, J.P. : Introducing OBJ. Technical Report SRI-CSL-92-03. SRI International. 1992

7

Goguen, J.A. and Malcolm, G.: Algebraic Semantics of Imperative Programs. Foundations of Computer Series. (Eds. M. Garey and A. Meyer) The MIT Press. 1996

8

Ishikawa, H., Meseguer, J., Watanabe, T., Futatsugi, K. and Nakashima, H.: On the semantics of GAEA. Proc. of JSSST 3rd Fuji Int'l Sympo. on Functional and Logic Programming. (1998) 123--141

9

Kamperman, J.F.Th. and Walters, H.R.: Lazy Rewriting and Eager Machinery. Proc. of the Int'l. Conf. on Rewriting Techniques and Applications. LNCS 914 Springer-Verlag. (1995) 147--162

10

Koopman, P.W.M., Smetsers, J.E.W., van Eekelen, M.C.J.D. and Plasmeijer, M.J.: Graph Rewriting Using the Annotated Functional Strategy. In Term Graph Rewriting: Theory and Practice (Eds. R. Sleep, R. Plasmeijer and M. van Eekelen). John Wiley & Sons Ltd. (1993) 317--332

11

Meseguer, J.: Conditional Rewriting Logic as a Unified Model of Concurrency. Theor. Comp. Sci. 96 (1) Elsevier. (1992) 73--155