APA Edition Citation

Cliff B. Jones. (1986). Systematic software development using Vdm. Prentice-Hall.

Chicago Edition Citation

Cliff B. Jones. Systematic Software Development Using Vdm. Prentice-Hall, 1986.

MLA Edition Citation

Cliff B. Jones. Systematic Software Development Using Vdm. Prentice-Hall, 1986.

Warning: These citations may not always be 100% accurate.