Recursive equivalence: A survey