F. Vaverka, O. Vysocky, and L. Riha