Edinburgh LCF. Gordon, M., Milner, R., & Wadsworth, C. 1979.
bibtex   
@misc{gordon1979edinburgh,
  title={Edinburgh LCF},
  author={Gordon, Michael and Robin Milner and Christopher Wadsworth},
  booktitle={Lecture Notes in Computer Science, volume 78},
  year={1979},
  publisher={New York: Springer-Verlag}
}

Downloads: 0