@unpublished{apm:infZ,
  title = "Infinite Lists in {Z}",
  author = "Andrew Martin",
  year = "1993",
  note = "Draft paper",
}