Bohumil Havel, eds.