Model-Based Software Testing and Analysis with C# - Paperback (Nov. 12, 2007) by Jonathan Jacky, Margus Veanes, Colin Campbell, and Wolfram SchulteDirections and Implications of Advanced Computing (Diac-87) - Hardcover (Dec. 1989) by Jonathan Jacky and Douglas Schuler
Model-Based Software Testing and Analysis with C# - Paperback (Nov. 12, 2007) by Jonathan Jacky, Margus Veanes, Colin Campbell, and Wolfram Schulte
The Way of Z: Practical Programming with Formal Methods - Paperback (Nov. 28, 1996) by Jonathan Jacky