A. C. Reeves, Charles Rattray: Sketching a Constructive Definition of 'mix'. Functional Programming 1989: 118-132