Browsing by Keywords Wilkes automat