TY  - BOOK
AU  - Wayne, Hillel 
TI  - Practical TLA+:  planning driven development
SN  - 9781484248324
U1  - 005.7 WAY 
PY  - 2022///
CY  - New York
PB  - Apress , 
KW  - Planning
KW  - Planning driven development
ER  -