MATRIX LOGIC - Stern, August (North-Holland Publishing, 1988)