@InProceedings{SCI:Hen83a,
  author =    "T.C. Henderson and C.D. Hansen and E. Shilcrat and
               W.S. Fai",
  title =     "Logical Sensor Specification",
  booktitle = "{SPIE} Conference on Intelligent Robots",
  pages =     "578--583",
  year =      "1983",
  month =     "November",
  location =  "Cambridge, Massachusetts",
  note =      "refereed abstract.",
}