Logical foundations - Cabbay, Dov. M.; Hogger, C. J.; Robinson, J. A.; Robinson, J. A (Handbook of logic in computer science and artificial intelligence and logic programming., 1993)