Specifying Distributed Software Architectures (1995)

by Jeff Magee, Naranker Dulay, Susan Eisenbach, Jeff Kramer