Программные и вычислительные системы: Методы и языки анализа; Системная информатика (1993, 1993)