Given by Chaim Baskin @ CS department of Technion - Israel Institute of Technology.
No download links available.