@techreport{ duchier-yale-logicalc,
  title = {The LogiCalc Manual},
  author = {Denys Duchier},
  number = {YALEU/DCS/RR\#660},
  month = aug,
  year = {1988},
  institution = {Yale University}}