Autores:
  • The precision provided (or enforced) by programming languages and their execution can identify lacunas, ambiguities, and other areas of potential confusion in conventional [mathematical] notation.

    "Math for the Layman" by Kenneth E. Iverson, Ch. 10, §D, www.cs.trinity.edu. 1999.