@techreport{BUCS-TR-2006-029,
    number = {BUCS-TR-2006-029},
    author = {Likai Liu and Assaf Kfoury},
    title = {Safe Compositional Specification of Network Systems With
Polymorphic, Constrained Types},
    month = {{October 25}},
    year = {2006},
    institution = {Computer Science Department, Boston University},
    address = {Boston, MA},
}