APA Style
Logic in Computer Science modelling and reasoning about systems
.
(2004).
New York:
Cambridge University Press.
MLA Style
Logic in Computer Science modelling and reasoning about systems
.
.
New York:
Cambridge University Press,
2004.
Text.