Παραπομπή σε μορφή APA (7η εκδ.)

International Workshop on Tool Support for System Specification, Development and Verificaion, Berghammer, R., & Lakhnech, Y. (1999). Tool support for system specification, development and verification. Springer.

Παραπομπή σε μορφή Chicago (17η εκδ.)

International Workshop on Tool Support for System Specification, Development and Verificaion, R. Berghammer, και Y. Lakhnech. Tool Support for System Specification, Development and Verification. Wien: Springer, 1999.

Παραπομπή σε μορφή MLA (9th εκδ.)

International Workshop on Tool Support for System Specification, Development and Verificaion, et al. Tool Support for System Specification, Development and Verification. Springer, 1999.