APA   Click to copy
Benke, M., Dybjer, P., & Jansson, P. (2003). Universes for Generic Programs and Proofs in Dependent Type Theory. Nord. J. Comput., 10, 265–289.

Chicago/Turabian   Click to copy
Benke, Marcin, Peter Dybjer, and Patrik Jansson. “Universes for Generic Programs and Proofs in Dependent Type Theory.” Nord. J. Comput. 10 (2003): 265–289.

MLA   Click to copy
Benke, Marcin, et al. “Universes for Generic Programs and Proofs in Dependent Type Theory.” Nord. J. Comput., vol. 10, 2003, pp. 265–89.

@article{benke2003a,
  title = {Universes for Generic Programs and Proofs in Dependent Type Theory},
  year = {2003},
  journal = {Nord. J. Comput.},
  pages = {265--289},
  volume = {10},
  author = {Benke, Marcin and Dybjer, Peter and Jansson, Patrik}
}