@inproceedings{me:infinite,
  title = "Infinite Lists for Specifying Functional Programs in {Z}",
  author = "Andrew Martin",
  year = "1996",
  booktitle = "Proceedings of Australian Refinement Workshop",
  publisher = "University of Queensland",
  url = "http://www.it.uq.edu.au/MENU/WORKSHOPS-SEMINARS-CONFERENCES/WORKSHOPS/Martin.ps.gz",
}