APA Style
Fetzer, James, Colburn, Timothy R, Rankin, Terry L. (1993).
PROGRAM VERIFICATION; Fundamental Issues in Computer Science (1).
Dordrecht, Dutch:
Kluwer Academic Publishers.
Chicago Style
Fetzer, James, Colburn, Timothy R, Rankin, Terry L.
PROGRAM VERIFICATION; Fundamental Issues in Computer Science.
1
Dordrecht, Dutch:
Kluwer Academic Publishers,
1993.
Text.
MLA Style
Fetzer, James, Colburn, Timothy R, Rankin, Terry L.
PROGRAM VERIFICATION; Fundamental Issues in Computer Science.
1
Dordrecht, Dutch:
Kluwer Academic Publishers,
1993.
Text.
Turabian Style
Fetzer, James, Colburn, Timothy R, Rankin, Terry L.
PROGRAM VERIFICATION; Fundamental Issues in Computer Science.
1
Dordrecht, Dutch:
Kluwer Academic Publishers,
1993.
Print.