A Probabilistic Algorithm for Vertex Connectivity of Graphs. - Michael Becker 009; W. Degenhardt; Jürgen Doenhardt; Stefan Hertel; Gerd Kaninke; W. Kerber; Kurt Mehlhorn; Stefan Näher; Hans Rohnert; Thomas Winter (Inf. Process. Lett., 1982)