Подловченко, Р. И.     Техника следов в разрешении проблемы эквивалентности в алгебраических моделях программ [Текст] / Р.И. Подловченко // Кибернетика и системный анализ. — К. : Институт кибернетики им. В.М. Глушкова НАН Украины, 2009. — сентябрь-октябрь(№5). — С. 25-37.