Books with this tag

Group extensions (Mathematics);Formal methods (Com