Evolution of Verification


| 1993
Müller, Harald (1993): Evolution of Verification, Arms Control, 14: 3,333–356.