APA (7th ed.) Citation

Foster, H., Krolnik, A., & Lacey, D. (2003). Assertion-Based Design. Springer US.

Chicago Style (17th ed.) Citation

Foster, Harry, Adam Krolnik, and David Lacey. Assertion-Based Design. Boston, MA: Springer US, 2003.

MLA (9th ed.) Citation

Foster, Harry, et al. Assertion-Based Design. Springer US, 2003.