APA-Zitierstil (7. Ausg.)

Olderog, E., & Apt, K. R. (1990). Using transformations to verify parallel programs.

Chicago-Zitierstil (17. Ausg.)

Olderog, Ernst-Rüdiger, und Krzysztof R. Apt. Using Transformations to Verify Parallel Programs. Oldenburg, 1990.

MLA-Zitierstil (9. Ausg.)

Olderog, Ernst-Rüdiger, und Krzysztof R. Apt. Using Transformations to Verify Parallel Programs. 1990.