Geodesic

Foundations for stepwise refinement of program specifications via cylindric algebra theory
Exposé no. 1, 24 p.
Weak products for universal algebra and model theory
Exposé no. 2, 15 p.
Caractères et sous-groupes des groupes de Suzuki
Exposé no. 3, 29 p.