Ungar Šime
The van Kampen theorem for fundamental pro-groups