@Unpublished{licata+09:unibind,
  author = 	 {Daniel R. Licata and Robert Harper},
  title = 	 {A Universe of Binding and Computation},
  note = 	 {(Submitted for publication.)},
  month = 	 {March},
  year = 	 2009}