@misc{13000,
  author = {Olav Lysne},
  title = {Linear Proofs in the Final Algebra},
  year = {1993},
  number = {139},
  publisher = {Department of Informatics, University of Oslo},
}