Cita APA (7a ed.)

Pavlovic, D., Mislove, M., & Worrell, J. (2006). Testing semantics: Connecting processes and process logics. Springer Verlag.

Cita Chicago Style (17a ed.)

Pavlovic, D., M. Mislove, y J. Worrell. Testing Semantics: Connecting Processes and Process Logics. Springer Verlag, 2006.

Cita MLA (9a ed.)

Pavlovic, D., et al. Testing Semantics: Connecting Processes and Process Logics. Springer Verlag, 2006.

Precaución: Estas citas no son 100% exactas.