TLA+ specification language

GPTKB entity