Ronald V. Book Franz-Josef Brandenburg Representing Complexity Classes by Equality Sets (Preliminary Report). 49-57 1979 conf/icalp/1979 ICALP db/conf/icalp/icalp79.html#BookB79 http://dx.doi.org/10.1007/3-540-09510-1_5