Collaborations between Martin Milner and Von Dexter