It seems as though this technique has been implemented (if only partially) in the OBJ language (ie. also in maude, and cafeOBJ): http://www-cse.ucsd.edu/groups/tatami/handdemos/doc/coind.htm Alexis Read