Nikulin, V. V., & Saito, S. (2005). Real K3 surfaces with non-symplectic involution and applications. Proceedings of the London Mathematical Society, 90(3), 591-654.