Collaborations between Paul Petersen and Dick Miller