APA (7th ed.) Citation

ScienceDirect (Online service) & Bowen, J. P. (1994). Towards verified systems. Elsevier.

Chicago Style (17th ed.) Citation

ScienceDirect (Online service) and J. P. Bowen. Towards Verified Systems. Amsterdam ; New York: Elsevier, 1994.

MLA (9th ed.) Citation

ScienceDirect (Online service) and J. P. Bowen. Towards Verified Systems. Elsevier, 1994.