Holzmann, Gerard J.

Advisor — 2 thesises