Jaroslav Drazan, Vladimir Mencl: Improved Processing of Textual Use Cases: Deriving Behavior Specifications. SOFSEM (1) 2007: 856-868