List of available books for concept: Formal system