Domaines Concrets. IRIA Report 336 (1978)

by G KAHN, G PLOTKIN