Use actual bibcode for Redman et al