Computer Science Foundations documents for this program at TESC