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. (Springer Verlag, 1985)