I. Josopait Checking C++ Programs for Dimensional Consistency http://arxiv.org/abs/cs/0512026 2005 CoRR abs/cs/0512026 db/journals/corr/corr0512.html#abs-cs-0512026