Ishikawa, H., Meseguer, J., Watanabe, T., Futatsugi, K. and Naqhima, H. "On the semantics of GAEA" pp123-141

Proc. (1998) Proc. of JSSST 3rd Fuji International Symposium on Functional and Logic Programming. 1998  

Languages mentioned GAEA {1998}