The blog doesn't look that active, but I know he's got a web site which has high-quality CRC coefficients.
I've been developing a HDLC-like protocol for moving data from my Arduino back to my PC over the serial line and found a good CRC for that on my web site.