Collaborations between Andrei Shen and David Hindle