Reeve, GregReeves, Steve2008-10-132008-10-132000-03Reeve, G. & Reeves, S. (2000). µ-Charts and Z: hows, whys and wherefores. (Working paper 00/06). Hamilton, New Zealand: University of Waikato, Department of Computer Science.1170-487Xhttps://hdl.handle.net/10289/1022In this paper we show, by a series of examples, how the µ-chart formalism can be translated into Z. We give reasons for why this is an interesting and sensible thing to do and what it might be used for.application/pdfencomputer scienceu-chartWorking Paper