Collaborations between Miroslav Ondrícek and Mike Starr