Formal Aspects of Measurement