Инд. авторы:	Гумиров В.Ш.
Заглавие:	Логические спецификации и отношение реализации на них
Библ. ссылка:	Гумиров В.Ш. Логические спецификации и отношение реализации на них // Вычислительные системы. - 1994. - Т.B 148. - С.18-31.
Издано:	1994
Физ. характеристика:	с.18-31