Модели систем информатики - Харкевич А. Д.; Гармаш В. А. (Москва, Наука, 1987)