Формальные спецификации вычислительных систем. Машины абстрактных состояний (машины Гуревича) : Учеб.-метод. пособие199820 с.