Spécification formelle de Prolog standard. - Pierre Deransart; C. Moss; G. Richard (SPLT, 1987)