- Specification's authors: Giuliano Losa
- Original paper: Carole Delporte-Gallet, Hugues Fauconnier, Eli Gafni, and Giuliano Losa. 2018. The Assignment Problem. In Proceedings of the 19th International Conference on Distributed Computing and Networking (ICDCN '18). ACM, New York, NY, USA, Article 14, 9 pages.
- Extended modules: FinSet, Nat, Seq
- Computation models: crashes
- Some properties checked with TLC: fairness, consistency, correctness, termination
- TLA+ files