Many-sorted logic and its applications (Wiley, 1993)