@inproceedings{denney-simple,
   author = {Ewen Denney},
   address = {Institute of Software, Beijing},
   booktitle = {EU KIT/ IOS International Workshop on Formal Models of Programming and their Applications},
   month = nov,
   series = {Journal of Computer Science and Technology},
   title = {Simply-typed {U}nderdeterminism},
   volume = {13(6)},
   pages = {491--508},
   year = {1998}
 }