Handbook of Logic in Computer Science : Volume 3: Semantic Structures

Abramsky
Oxford University Press (UK)
9780198537625
0-19-853762-X