Hirokazu Nishimura Boolean Valued and Stone Algebra Valued Measure Theories. 69-75 1994 40 Math. Log. Q. db/journals/mlq/mlq40.html#Nishimura94