1991 - David Bourbeau - Refinements of Case Binding