书籍 — program transformation

RU

元计算方法及其应用

A

С. М. Абрамов

算法与理论