1. S. Drobot, Dimensional analysis in sampling inspection of merchandise. Polska Akademia Nauk Instytut Matematyczyn Rozprawy Matermatyzne.
2. N. Gehani, Units of measure: A new data attribute. TR-105, Computer Science Dept., SUNY, Buffalo, N.Y.
3. N. Gehani, Data types for very high level languages. Ph.D. thesis, TR-75-258, Computer Science Dept., Cornell University, New York.
4. D. Gries and N. Gehani, Some ideas on data types in high level languages. TR-75-244, Computer Science Dept., Cornell University, New York.
5. An axiomatic definition of the programming language PASCAL;Hoare,1972