Функциональные средства спецификации трансляторов и их применение в проблемно-ориентированной системе верификации программСулимов, Александр Александрович199116 с.