From Semantics to Computer Science by Y. Bertot