Collaborations between Tibor Bornai and Zsófia Muhi