Сабельфельд В. К..
Метод разметки для глобального анализа свойств-1986.-20 с-(Препринт ВЦ СО АН СССР №699).