Recursive Abstract State Machineshttp://research.microsoft.com/en-us/um/people/gurevich/opera/119.pdf by bsaunder • 17 years ago 1 0 17 years agoREresearch.microsoft.com