English TLA+ Cited by user Andrew Helwer on 23 May 2015 For design and documentation, TLA+ fulfills the same purpose as informal technical specifications.