Computation as logic - Lalement, René (Masson [u.a.], 2003)
A Pearson Education print on demand edition