Formal properties of measurement constructions - Nakanishi, Kimiko, (Interface explorations,)