APA stil citiranja

(1985). International joint conference on theory and practice of software development (TAPSOFT) 1985: International joint conference on theory and practice of software development (TAPSOFT) 1985 : FORMAL METHODS AND SOFTWARE DEVELOPMENT: COLOQUIUM ON SOFTWARE ENGINEERING (CSE) 025. VOL. 2 (1. izd.). Berlin: Springer Verlag.

Chicago stil citiranja

International joint conference on theory and practice of software development (TAPSOFT) 1985: International joint conference on theory and practice of software development (TAPSOFT) 1985 : FORMAL METHODS AND SOFTWARE DEVELOPMENT: COLOQUIUM ON SOFTWARE ENGINEERING (CSE) 025. VOL. 2. 1. izd. Berlin: Springer Verlag, 1985.

MLA stil citiranja

International joint conference on theory and practice of software development (TAPSOFT) 1985: International joint conference on theory and practice of software development (TAPSOFT) 1985 : FORMAL METHODS AND SOFTWARE DEVELOPMENT: COLOQUIUM ON SOFTWARE ENGINEERING (CSE) 025. VOL. 2. 1. izd. Berlin: Springer Verlag, 1985.