Autor: Hillel Wayne, 1 titlu

Practical TLA+

Hillel Wayne