Handbook of Logic in Computer Science: Volume 3. Semantic Structures - inbunden, Engelska, 1995