5 works on record
The Way of Z
1996
Model-Based Software Testing and Analysis with C#
Model-based software testing and analysis with C♯
Directions and implications of advanced computing, (DIAC-87)
Model-based Software Testing and Analysis with C?