@article{Bird73:Note,
  title = "A Note on Definition by Cases",
  author = "Richard Bird",
  year = "1973",
  journal = "Zeitschrift f{\"u}r mathematische {L}ogik und {G}rundlagen der {M}athematik",
  pages = "207--208",
  volume = "19",
}