H
N
Y
9
7
3
4
8
:
27 Vaughan Pratt
Languages:
REDUCE
MACSYMA
CGOL
LINGOL
Viron