The logic of information structures - Wansing, H. (Heinrich) (Springer-Verlag, 1993)