Computation As Logic by Rene Lalement