Kyriakopoulos, N. & Avenhaus, R. <https://pure.iiasa.ac.at/view/iiasa/1699.html>  (1996).  Dynamic models in treaty verification.    In:  Models for Security Policy in the Post-Cold War Era. Eds. Huber, R.K. & Avenhaus, R.,  Baden-Baden: Nomos Verlagsgesellschaft.