This video is all about an operator due to Melvin Fitting, and how it is derived from program completion
No download links available.