Ada's derived types and units of measure

Programming pascal with physical units

ACM SIGPLAN Notices

An Ada package for dimensional analysis

ACM Transactions on Programming Languages and Systems (TOPLAS)

Dimensional Analysis with C++

IEEE Software

Object-oriented units of measurement

OOPSLA '04 Proceedings of the 19th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications

A pragmatic approach to dimensional analysis for mobile robotic programming

Autonomous Robots

A survey of physical unit handling techniques in ada

Ada-Europe'03 Proceedings of the 8th Ada-Europe international conference on Reliable software technologies

Rule-based analysis of dimensional safety

RTA'03 Proceedings of the 14th international conference on Rewriting techniques and applications

A Rewriting Logic Approach to Static Checking of Units of Measurement in C

Electronic Notes in Theoretical Computer Science (ENTCS)