title = {{Handbook of Logic in Computer Science III --- Semantic Structures}},
editor = {S. Abramsky and D. Gabbay and T.S.E. Maibaum}, publisher = {Oxford University Press}, year = {1994}, description = {all-bibs-cleaned.bib}, optvolume = {3},
keywords = {imported }
::