http://www.hpl.hp.com/techreports/tandem/TR-85.7.pdf and yes, it was THAT Jim Gray, may he rest in peace.