[xyzzyz]

Bear in mind that computer science is quite young -- clarity, unambiguity and formalism in mathematics were not much better in XVII and XVIII centuries. Everything will improve over time, I believe.