Hiroshi Ishikawa Takuo Watanabe Kokichi Futatsugi José Meseguer Hideyuki Nakashima On the Semantics of GAEA. 123-142 1998 Fuji International Symposium on Functional and Logic Programming db/conf/flops/flops98.html#IshikawaWFMN98