Description of Paralocks Language Semantics in TLA+ - Timakov, A. A. (Programming and Computer Software)