A Practical Guide for SystemVerilog Assertions
  MLA
  Vijayaraghavan, Srikanth, and Meyyappan Ramanathan. A Practical Guide for Systemverilog Assertions. Springer US, 2005.
  APA
  Vijayaraghavan, S., & Ramanathan, M. (2005). A Practical Guide for SystemVerilog Assertions. Springer US.
  Chicago
  Vijayaraghavan, Srikanth, and Meyyappan Ramanathan. A Practical Guide for Systemverilog Assertions. : Springer US, 2005.