This is your work, valued

TLA+

Elite
@tlaplus

TLA+ is a formal specification language developed to design, model, document, and verify reactive systems.

lamport.azurewebsites.net/tla/tla.html