Ioan Alfred Letia: A TLA+ Specification for Agent Communication that Enables Proofs. Agents 1999: 410-411