Computation as logic /
Lalement, René.
Paris : Masson ; Hemel Hempstead : Prentice Hall,
c1993.