@article{Hin00Man,
  title = "Manufacturing datatypes",
  author = "Hinze, Ralf",
  year = "2001",
  journal = "JFP",
  month = "sep",
  number = "5",
  pages = "493-524",
  volume = "11",
  doi = "10.1017/S095679680100404X",
}