@TechReport{WayeDC2015tr,
  author = 	 {Waye, Lucas and Dimoulas, Christos and Chong, Stephen},
  title = 	 {Higher-order Behavioral Contracts for Distributed Components},
  institution =  {Harvard University},
  year = 	 2015,
  number = 	 {TR-03-15}
}