@TechReport{boff,
  Author =       "Alan P. Sexton",
  Title =        "{The KCM Binary Object File Format}",
  Institution =  "ECRC",
  Number =       "CA-34",
  Type =         "Technical Report",
  Month =        "December",
  Year =         "1987"
}