This video explains design by contraction for the COE 202 course at KFUPM
No download links available.