51 Nest Nestra, Harmel.     Iteratively defined transfinite trace semantics and program slicing with respect to them [Текст] / Harmel Nestra. — Tartu : Tartu university press, 2006. — 119 p. — (ISSN1024-4212). ISBN 9949-11-436-5

Наявність
Установа	Кількість	Документ на сайті установи
Наукова бібліотека ім.М.Максимовича Київського національного університету імені Тараса Шевченка . н-I - контрольний примірник	1	Перейти на сайт