@techreport{BUCS-TR-2005-034,
    number = {BUCS-TR-2005-034},
    author = {Yarom Gabay and Assaf Kfoury and Likai Liu and Azer Bestavros
and Adam Bradley and Ibrahim Matta},
    title = {Type Systems for a Network Specification Language With
Multiple-Choice Let},
    month = {{December 28}},
    year = {2005},
    institution = {Computer Science Department, Boston University},
    address = {Boston, MA},
}