Lecture 30 - Graph Specification and Implementation