Ocaml - Файлы и парсинг

Как читать содержимое файла в ocaml? В частности, как их анализировать?

Пример:

Предположим, что файл содержит (a, b, c); (b, c, d) | (a, b, c, d); (b, c, d, e) |

то, прочитав это, мне нужны два списка, содержащие l1 = [(a, b, c); (b, c, d)] и l2 = [(a, b, c, d); (b, c, d, e)]

Есть ли хороший учебник по синтаксическому анализу?