Modeli i metody issledovanij v sistemah informatiki - Harkevič, A. D.; Garmaš, V. A. (Nauka, 1988)