Cita APA (7a ed.)

Hailpern, B. T., Goos, G., & Hartmanis, J. (1982). Verifying concurrent processes using temporal logic (1a ed.). Springer.

Cita Chicago Style (17a ed.)

Hailpern, Brent T., G. Goos, y J. Hartmanis. Verifying Concurrent Processes Using Temporal Logic. 1a ed. Berlín: Springer, 1982.

Cita MLA (9a ed.)

Hailpern, Brent T., et al. Verifying Concurrent Processes Using Temporal Logic. 1a ed. Springer, 1982.