@misc{hancockSetzer:InteractivePrograms:CSL2000:preprint,
   author = {Hancock, Peter and Setzer, Anton},
   title = {Interactive Programs in Dependent Type Theory},
   issn={1101-3591},
   note={U.U.D.M. Report 2000:5, Dept. of Mathematics, Uppsala University, Uppsala, Sweden},
   url={https://csetzer.github.io/articles/iopreprint.pdf},
   month={February},
   year={2000}
}