From Semantics to Computer Science door Y. Bertot