APA (7th ed.) Citation

Colburn, T. R., Fetzer, J. H., & Rankin, T. L. (1993). Program verification: Fundamental issues in computer science. Kluwer Academic Publishers.

Chicago Style (17th ed.) Citation

Colburn, Timothy R., James H. Fetzer, and Terry L. Rankin. Program Verification: Fundamental Issues in Computer Science. Dordrecht [etc.]: Kluwer Academic Publishers, 1993.

MLA (9th ed.) Citation

Colburn, Timothy R., et al. Program Verification: Fundamental Issues in Computer Science. Kluwer Academic Publishers, 1993.