@article{HJK:00,
  journal = {Mathematical Structures in Computer Science},
  title = {Linear types, approximation, and topology},
  pages = {719--746},
  volume = 10,
  year = 2000,
  author = {Huth, Michael and Jung, Achim and Keimel, Klaus},
}