Модели, исчисления и методы доведения индуктивных утверждений для эквациональных спецификаций с частичными функциямиНайдич, Дмитрий Эдуардович199218 с.