APA-Zitierstil (7. Ausg.)

(1998). Tools for system development and verification: Workshop, proceedings, Bremen, Germany, July 1996 (Als Ms. gedr.). Shaker.

Chicago-Zitierstil (17. Ausg.)

Tools for System Development and Verification: Workshop, Proceedings, Bremen, Germany, July 1996. Als Ms. gedr. Aachen: Shaker, 1998.

MLA-Zitierstil (9. Ausg.)

Tools for System Development and Verification: Workshop, Proceedings, Bremen, Germany, July 1996. Als Ms. gedr. Shaker, 1998.

Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.