μ-Charts and Z : hows , whys and wherefores by Greg Reeve and

[1]  Martin C. Henson,et al.  Revising Z: Part II – logical development , 1999, Formal Aspects of Computing.

[2]  Martin C. Henson,et al.  Revising Z: Part I – logic and semantics , 1999, Formal Aspects of Computing.

[3]  J. Davenport.  Editor , 1960 .

[4]  Martin C. Henson,et al.  Investigating Z , 2000, J. Log. Comput..

[5]  Mark Saaltink.  The Z/EVES System , 1997, ZUM.

[6]  David Harel,et al.  Statecharts: A Visual Formalism for Complex Systems , 1987, Sci. Comput. Program..