Collaborations between Miroslav Ondrícek and Tony Harvey