Return to Article Details The Expressive Power of Abstract-State Machines Download Download PDF