Units of measure as a data attribute

S. Drobot, Dimensional analysis in sampling inspection of merchandise. Polska Akademia Nauk Instytut Matematyczyn Rozprawy Matermatyzne. N. Gehani, Units of measure: A new data attribute. TR-105, Computer Science Dept., SUNY, Buffalo, N.Y. N. Gehani, Data types for very high level languages. Ph.D. thesis, TR-75-258, Computer Science Dept., Cornell University, New York. D. Gries and N. Gehani, Some ideas on data types in high level languages. TR-75-244, Computer Science Dept., Cornell University, New York. Hoare, 1972, An axiomatic definition of the programming language PASCAL, 6 Palme, 1975, Languages for reliable software Pankhurst, 1964 Wirth, 1972, The programming language PASCAL, 5 S. Worona, Private Communication, Dept: of Computer Science, Cornell University, New York.