Bibtex Record:
@workingpaper{
Author = {Henson, M.C. and Reeves, S.V.},
Title = {New foundations for Z},
Publisher = {Computer Science University of Waikato},
Number = {98/6},
Pages = {1-20},
Year = {1998}
}