(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 citiranjaInternational 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 citiranjaInternational 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.