Logics of Specification Languages - Bjorner, Dines; Henson, Martin C.; SpringerLink (Online service) (Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008)
Keywords: Programming languages (Electronic computers) -- Semantics; Logic, Symbolic and mathematical