https://bookem.ir/books/1255008-Formal-Properties-of-Measurement-Constructions