On program equivalence in languages with ground-type references | IEEE Conference Publication | IEEE Xplore