Computation as logic - Lalement, Rene (Prentice Hall International series in computer science, 1993)