TY  - BOOK
AU  - Bjorner, D
AU  - Henson, Martin C
TI  - Logics of Specification Languages
SN  - 9783540741060
U1  - 005.13 BJO 
PY  - 2008///
CY  - Berlin
PB  - Springer Verlag, Netherlands
KW  - Logic, Symbolic and mathematical
KW  - Programming languages (Electronic computers) - Semantics
N1  - <p>Table of Contents:</p>

<p>Part&nbsp
ER  -