Equivalent transformations of Refal programs. In: Avtomatizirovannaja Sistema upravlenija stroitel'stvom (1974)

by V F Turchin
Venue:Trudy CNIPIASS