| |
Подловченко, Р. И.
Об одном массовом решении проблемы эквивалентных преобразований схем программ. II [Текст] / Р. И. Подловченко
// Программирование. – 2000. – № 2. – 3-11.
Рассматриваюся схемы программ, не использующих процедур, и исследуется богатое семейство эквивалентностей схем |
