- TLA+ in Practice and Theory (four-part blog post series by pressron)
- IronFleet@SOSP'2015
- 唐瑞泽、谷晓松
- 谷晓松、唐瑞泽、纪业、易星辰
- Hyperbook
- TLA+ Version 2: A Preliminary Guide
- On Paxos
- 唐瑞泽、谷晓松、戴若石
- SAT/SMT by Examples
- 江雪、唐瑞泽、谷晓松、欧阳鸿荣、戴若石
- Software Foundations
- FRAP
- 江雪、唐瑞泽、谷晓松、戴若石