A Practical Introduction to Software Engineering Through a Contract-First Language
Vijay Mathew
March 18, 2026