Adding first draft of Lecture 4 and Protocol Specification Template