@ARTICLE{Myh53,
  author = {Myhill, John},
  title = {Criteria of constructibility for real numbers},
  journal = JSL,
  year = {1953},
  volume = {18},
  pages = {7--10},
  number = {1},
  keywords = {bib,cca}
}