Title: Data Structures, Algorithms, and Invariants - a Practical Guide