APA   Click to copy
Mu, S.-C., Ko, H.-S., & Jansson, P. (2009). Algebra of programming in Agda: Dependent types for relational program derivation. J. Funct. Program., 19, 545–579.

Chicago/Turabian   Click to copy
Mu, Shin-Cheng, Hsiang-Shang Ko, and Patrik Jansson. “Algebra of Programming in Agda: Dependent Types for Relational Program Derivation.” J. Funct. Program. 19 (2009): 545–579.

MLA   Click to copy
Mu, Shin-Cheng, et al. “Algebra of Programming in Agda: Dependent Types for Relational Program Derivation.” J. Funct. Program., vol. 19, Cambridge University Press, 2009, pp. 545–79.

@article{mu2009a,
  title = {Algebra of programming in Agda: Dependent types for relational program derivation},
  year = {2009},
  journal = {J. Funct. Program.},
  pages = {545--579},
  publisher = {Cambridge University Press},
  volume = {19},
  author = {Mu, Shin-Cheng and Ko, Hsiang-Shang and Jansson, Patrik}
}