Equality languages, fixed point languages and representations of recursively enumerable languages | IEEE Conference Publication | IEEE Xplore