Personal reading list/reference re: TLA+
Easiest-ever formal methods language! Designed for developers crafting d...