Collaborations between Gábor Rohonyi and Csaba Lakatos