Video 1: automation

Video 2: properties of programs

Video 3: a simple database example