Collaborations between Jim Backus and Pyotr Ershov