Bibtex Record:
@workingpaper{
Author = {Henson, M.C. and Reeves, S.V.},
Title = {Revising Z: semantics and logic},
Publisher = {Department of Computer Science, The University of Waikato},
Number = {98/4},
Pages = {1-42},
Year = {1998}
}