Matrix logic - Stern, August (Elsevier, 1988)