This so much to the point as well: "The math needed for most specifications is quite simple: predicate logic and elementary set theory." I would take ABNF as u

This so much to the point as well: "The math needed for most specifications is quite simple: predicate logic and elementary set theory." I would take ABNF as used in RFC:s and a few clarifying diagrams over verbose UML vomit any day :)