TY  - BOOK
AU  - Conference on theory and practice of software technology (Italy,1982)
AU  - Ferrari, Domenico.,ed.
AU  - Bolognani, Mario.,ed.
AU  - Goguen,Joseph.,ed.
TI  - Theory and practice of software technology
SN  - 0444866477
U1  - 001.6425 
PY  - 1983///
CY  - Amsterdam
PB  - North-Holland Publishing Company
ER  -