Albeverio, S., et al. “On Real $AW^*$-Algebras”. Methods of Functional Analysis and Topology, vol. 11, no. 2, June 2005, pp. 99-112, https://zen.imath.kiev.ua/index.php/mfat/article/view/271.