Publications by O. Vanek