Programming.
not enjoy reading white papers full of mathematical notation was slim to none. (Today you can buy Hillel Wayne’s excellent book Practical TLA+) So I started reading other people’s code (errr…specs) and began piecing together some idea of how things were done. TLA+ is a tool to model and verify