APA stil citiranja

(1980). The use of formal specification of software: The use of formal specification of software : JUNE 25-27, 1979, BERLIN (1. izd.). Berlin: Springer Verlag.

Chicago stil citiranja

The use of formal specification of software: The use of formal specification of software : JUNE 25-27, 1979, BERLIN. 1. izd. Berlin: Springer Verlag, 1980.

MLA stil citiranja

The use of formal specification of software: The use of formal specification of software : JUNE 25-27, 1979, BERLIN. 1. izd. Berlin: Springer Verlag, 1980.