Kausche, A., & Kröger, F. (1985). The treatment of macro expansions in the temporal logic of parallel programs.
Chicago-Zitierstil (17. Ausg.)Kausche, A., und Fred Kröger. The Treatment of Macro Expansions in the Temporal Logic of Parallel Programs. München, 1985.
MLA-Zitierstil (9. Ausg.)Kausche, A., und Fred Kröger. The Treatment of Macro Expansions in the Temporal Logic of Parallel Programs. 1985.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.