APA Style

L.Perry, D., D.Foster, H. (2005). Applied Formal Verification . New York: McGraw-Hill.

MLA Style

L.Perry, Douglas., D.Foster, Harry. "Applied Formal Verification". New York: McGraw-Hill, 2005. Text.