Text this: Formal techniques in artificial intelligence. A sourcebook /