 The model theorist Yuri Gurevich introduced abstract state machines (ASMs) as a way of using model-theoretic ideas for specification in computer science. According to the Abstract State Machine website (see Other Internet Resources below),