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