Structures des donn'es concr`etes (Domaines Concr`etes (1978)

by G Kahn, G Plotkin