Update README.md

Explain the mechanics of Abstract State Machine.