ASCII version of the TLA+ specification.