TY  - SER
AU  - Zave, Pamela
AU  - Jackson, Michael
TI  - Where Do Operations Come from a Multiparadigm Specification Technique
KW  -  Formal Methods
KW  - Telecommunications
KW  - Consistency
ER  -