APA stil citiranja

Manna, Z. (1992). The temporal logic of reactive and concurrent systems: The temporal logic of reactive and concurrent systems : SPECIFICATION (1. izd.). Berlin: Springer Verlag.

Chicago stil citiranja

Manna, Z. The temporal logic of reactive and concurrent systems: The temporal logic of reactive and concurrent systems : SPECIFICATION. 1. izd. Berlin: Springer Verlag, 1992.

MLA stil citiranja

Manna, Z. The temporal logic of reactive and concurrent systems: The temporal logic of reactive and concurrent systems : SPECIFICATION. 1. izd. Berlin: Springer Verlag, 1992.