Collaborations between Harold Warrender and Jack Allen