Contributions by Červenka, Jan, 1925-1991