Construction of a smooth Lyapunov function for an asymptotically stable set Tadek Nadzieja — 1990 Czechoslovak Mathematical Journal