Bibtex Record:
@workingpaper{
Author = {Reeve, G.R. and Reeves, S.V.},
Title = {m-charts and Z: extending the translation},
Publisher = {Department of Computer Science, The University of Waikato},
Number = {00/11},
Pages = {1-56},
Year = {2000}
}