Hava T. Siegelmann: Welcoming the Super Turing Theories. SOFSEM 1995: 83-94