Many - sorted logic and its applications - Meinke, K.; Tucker, J. V. (John Wiley & Sons, 1993)