Méthodes itératives de construction et d’approximation de points fixes d’opérateurs monotones sur un treillis, analyse sémantique de programmes (in French),” Thèse d’ État ès sciences mathématiques, Université Joseph Fourier (1978)

by P Cousot