Towards a Process Mining Approach to Grammar Induction for Digital Libraries