Lyapunov's direct method in abstract local semi-flows Jozef Nagy (1967) Commentationes Mathematicae Universitatis Carolinae