Reality and measurement in algebraic quantum theory NWW 2015, Nagoya, Japan, March 9-13 - Ozawa, Masanao 1950-; Butterfield, Jeremy 1954-; Halvorson, Hans 1973-; Rédei, Miklós 1952-; Kitajima, Yuichiro; Buscemi, Francesco (Springer proceedings in mathematics & statistics, 2018)