@InProceedings{SCI:Hen85d,
  author =    "T.C. Henderson and C.D. Hansen and B. Bhanu",
  title =     "The Synthesis of Logical Sensor Specifications",
  booktitle = "{SPIE} Conference on Intelligent Robots",
  year =      "1985",
  month =     "September",
  location =  "Cambridge, Massachusetts",
  note =      "refereed abstract.",
}