Title: Formal Aspects of Measurement