| filename extensions | art-335 |
| tla | |
| TechTarget file types | art-336 | TLA-TLA-The-Temporal-Logic-of-Actions |
| TechTarget file types | art-336 | TLA-TuneUp-Utilities-Startup-Logo |
| English | eng-000 | TLA - The Temporal Logic of Actions |
| English | eng-000 | TuneUp Utilities Startup Logo |