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