bibliographic details : 半群的S-系理论