Specification and Verification of the Alterglobalization Journal title: Journal of European Economy Authors: Roman Zvarych Subject(s):