Ordered categories with involution - Calenko, Michail S.; Gisin, V B.; Rajkov, Dmitrij A. 1905-1980 (Państwowe Wyd. Naukowe, 1984)