767	 Certification of Algorithm Combinatorial of M Things Taken One at a Time Two at a Time Up to N at a Time M. L. Wolfson and H. V. Wright Comm. ACM Apr.
