@misc{indiciaeaf7e2af74e9c,
  title = {Checking C++ Programs for Dimensional Consistency},
  author = {I. Josopait},
  year = {2005},
  url = {https://arxiv.org/abs/cs/0512026},
  note = {Source identifier: cs/0512026}
}