I'm a big fan of Gerard Holzmann -- his work is well worth checking out. http://en.wikipedia.org/wiki/Gerard_J._Holzmann http://en.wikipedia.org/wiki/Gerard_J.

I'm a big fan of Gerard Holzmann -- his work is well worth checking out. http://en.wikipedia.org/wiki/Gerard_J._Holzmann http://en.wikipedia.org/wiki/Gerard_J._Holzmann