Logic And Programming - Parent/M/ Laurgeau/C (Kogau Page (Roboat Technology) London, 1987)
ENGLISH