SMS: Textbook on Mechanized information retrieval