@InProceedings{lzh08focbind,
  author = 	 {Daniel R. Licata and Noam Zeilberger and Robert Harper},
  title = 	 {Focusing on Binding and Computation},
  booktitle = {IEEE Symposium on Logic in Computer Science},
  year = 	 {2008},
}

@TechReport{lzh08focbind-tr,
  author = 	 {Daniel R. Licata and Noam Zeilberger and Robert Harper},
  title = 	 {Focusing on Binding and Computation},
  institution =  {Department of Computer Science, Carnegie Mellon University},
  year = 	 {2008},
  number = 	 {CMU-CS-08-101},
}