@techreport{BUCS-TR-2004-021,
    number = {BUCS-TR-2004-021},
    author = {Azer Bestavros and Adam Bradley and Assaf Kfoury and Ibrahim
Matta},
    title = {Safe Compositional Specification of Networking Systems},
    month = {{May 14}},
    year = {2004},
    institution = {Computer Science Department, Boston University},
    address = {Boston, MA},
}