Semigroup theory and its applications - Hofmann, Karl H (1996)