Applying formal description techniques to software architectural design

J. Jenny Li, Joseph Robert Horgan. Applying formal description techniques to software architectural design. Computer Communications, 23(12):1169-1178, 2000. [doi]

Bibliographies