Related:

• Quote #678 Formal methods will never have a significant impact until they can be used by people that don't understand them.
  ...
• Quote #19 A formal parsing algorithm should not always be used. -- D. Grie
• Quote #22 ``Pointers are like jumps, leading wildly from one part of the data structure to another.
  Their introduction into high-level languages has been a step backwards from which we may never recover'' -- C....
• Quote #511 * Formal specifications yield correct programs.
  No. Formal specifications yield PhD theses. They may also occasionally yield programs as by-products, but no useful ones....
• One can't proceed from the informal to the formal by formal means.
• Don't use contractions in formal writing.