Ciancarini, P.;
Mascolo, C.;
(1997)
Analyzing and refining an architectural style.
In: Bowen, J. and Hinchey, M. and Till, D., (eds.)
Proceedings of 10th International Conference on the Z Formal Method (ZUM).
(pp. pp. 349-368).
Springer Verlag