@article{compref300,
   author = {Shapiro,S},
   year = {1981},
   title = {Understanding Church's Thesis},
   journal = {Journal of Philosophical Logic},
   volume = {10},
   pages = {353-365}
}