APA Style

Michael, H. (2011). Logic in computer science . : Cambridge.

MLA Style

Michael, Huth. "Logic in computer science". : Cambridge, 2011. Text.